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 ENABLE_OPTIMIZED=1 ENABLE_SHARED=0 -j2
which ends without error.

But when I did make check it says

  Expected Passes    : 93
  Expected Failures  : 2
  Unsupported Tests  : 4
  Unexpected Failures: 84

is it correct or I am missing something. Please help me out and thanks in advance.

--
Thanks and Regards
Awanish Pandey
PhD, CSE
IIT Kanpur

_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

Reply via email to