Hi Sang I think they still exist and are supported in POSIX runtime if you build KLEE yourself.
Thanks Peng 2018-06-09 14:36 GMT-07:00 Sang Phan <[email protected]>: > Hello, > > I want to use KLEE with symbolic file or stdin. According to the > following document, I need to use -sym-files or -sym-stdin > http://klee.github.io/docs/options/ > > > However, these options no longer exist in the latest release of KLEE > (docker). May I ask if they are broken, or are changed to something > else? > > Thank you, > Sang > > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
