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

[li peng]

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 <phanquocsang at gmail.com>:

> 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
>
-------------- next part --------------
HTML attachment scrubbed and removed