[klee-dev] Error in make check

[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 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