[klee-dev] Options for symbolic environments no longer exist?

[Cristian Cadar]

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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>