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 <poppeter1...@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 <phanquocs...@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@imperial.ac.uk >> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > > _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev