On 18 September 2016 at 22:23, Awanish <avanis1...@gmail.com> 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/ --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.
There shouldn't be any unexpected failures however: * I would advise that you do not use LLVM 2.9 and just use LLVM 3.4 * You can save yourself a bunch of effort by using the KLEE docker image [1]. * You have not said which tests actually failed. You need to provide this information otherwise nobody will be able to help you debug it. [1] http://klee.github.io/docker/ HTH, Dan. _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev