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

[Sang Phan]

Thanks Peng. But I cannot build KLEE myself.
I'm using a newer Ubuntu where LLVM 3.4 is no longer available. I see
some new commits for building KLEE with LLVM 3.7, but I still have
several errors.

On Sat, Jun 9, 2018 at 5:40 PM, li peng <poppeter1982 at gmail.com> wrote:
> 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
>
>