This should still work under Docker. Are you sure you are passing the
options correctly? Those are not options to the KLEE tool itself, take
a look at the tutorials for examples. If you still have problems,
please fill out a bug report detailing the exact steps you followed.
Cristian
On 09/06/18 22:36, Sang Phan wrote:
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
