subject:"\[klee\-dev\] Error in make check"

Re: [klee-dev] Error in make check

2016-09-19 Thread Dan Liew

On 18 September 2016 at 22:23, Awanish wrote: > Hi, > I configured klee with this command > ../configure --with-llvmsrc=/home/awanish/llvm-2.9/llvm-2.9 > --with-llvmobj=/home/awanish/llvm-2.9/llvm-2.9/build --with-stp=/usr/local > --with-uclibc=/home/awanish/klee-uclibc/

[klee-dev] Error in make check

2016-09-19 Thread Awanish

Hi, I configured klee with this command ../configure --with-llvmsrc=/home/awanish/llvm-2.9/llvm-2.9 --with-llvmobj=/home/awanish/llvm-2.9/llvm-2.9/build --with-stp=/usr/local --with-uclibc=/home/awanish/klee-uclibc/ --enable-posix-runtime then did make DISABLE_ASSERTIONS=0