Perhaps you can give me the latest repo of STP that are known to work on KLEE & Arch ? I.e., the one that passes the libstp check .
Vu, On Wed, Feb 12, 2014 at 8:08 AM, ThanhVu (Vu) Nguyen <[email protected]>wrote: > That seems to work , but now when running configure I get some other > checking error about LLVM Bitcode. This check passed fine using the klee > original repo. The LLVM2.9 was built as instructed from > http://ccadar.github.io/klee/GetStarted.html > > > ./configure --with-llvm=/nfs/adaptive/tnguyen/Src/Devel/KLEE/llvm-2.9/ > --with-stp=/nfs/adaptive/tnguyen/Src/Devel/KLEE/stp/binary-build/ > --with-uclibc=/nfs/adaptive/tnguyen/Src/Devel/KLEE/klee-uclibc/ > --enable-posix-runtimechecking build system type... x86_64-unknown-linux-gnu > checking host system type... x86_64-unknown-linux-gnu > > checking target system type... x86_64-unknown-linux-gnu > > checking type of operating system we're going to host on... > > checking llvm source dir... /nfs/adaptive/tnguyen/Src/Devel/KLEE/llvm-2.9 > > checking llvm obj dir... /nfs/adaptive/tnguyen/Src/Devel/KLEE/llvm-2.9 > > checking llvm package version... 2.9 > > checking llvm version major... 2 > > checking llvm version minor... 9 > > checking llvm is release version... 1 > > checking llvm build mode... Release+Asserts > > checking LLVM Bitcode compiler... > > checking for llvm-gcc... NOT_FOUND > > > > checking for clang... FOUND > > checking for clang++... FOUND > > Using C llvm compiler : /usr/bin/clang > > Using C++ llvm compiler : /usr/bin/clang++ > > checking C LLVM Bitcode compiler works... > /nfs/adaptive/tnguyen/Src/Devel/KLEE/llvm-2.9/Release+Asserts/bin/llvm-dis: > Unknown bitstream version! > configure: error: Failed converting LLVM Bitcode to LLVM assembly. Maybe > your LLVM versions do not match? > > > > On Wed, Feb 12, 2014 at 8:04 AM, Daniel Liew > <[email protected]>wrote: > >> git pull https://github.com/delcypher/klee.gitfeature_support_stp_with_boost >> > > > > Vu, >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
