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