[klee-dev] make check fails 10 tests

[Reza Ahmadi]

Hi everyone,

I successfully installed klee on llvm 2.9 on my Ubuntu 16.02. Now in make
check 10 tests fail for some unknown reason. I have llvm-gcc in my path,
and I configured using:

./configure --with-llvm=/home/ahmadi/llvm-2.9 --with-stp=/home/ahmadi/stp
--with-uclibc=/home/ahmadi/klee-uclibc-0.02-x64 --enable-posix-runtime

Here is part of the output check produced:

********************
FAIL: KLEE :: Feature/LongDouble.cpp (77 of 183)
******************** TEST 'KLEE :: Feature/LongDouble.cpp' FAILED
********************
Script:
--
/home/ahmadi/llvm-2.9/Release+Asserts/bin/clang++
-I/home/ahmadi/klee/include -I../../../include -g -fno-exceptions
-emit-llvm -O0 -c -o
/home/ahmadi/klee/test/Feature/Output/LongDouble.cpp.tmp.bc
/home/ahmadi/klee/test/Feature/LongDouble.cpp
rm -rf /home/ahmadi/klee/test/Feature/Output/LongDouble.cpp.tmp.klee-out
/home/ahmadi/klee/Release+Asserts/bin/klee
--output-dir=/home/ahmadi/klee/test/Feature/Output/LongDouble.cpp.tmp.klee-out
--libc=klee --no-output --exit-on-error
/home/ahmadi/klee/test/Feature/Output/LongDouble.cpp.tmp.bc >
/home/ahmadi/klee/test/Feature/Output/LongDouble.cpp.tmp.log
grep -q powl\(-11\\.0,0\)=1\\.0\\+
/home/ahmadi/klee/test/Feature/Output/LongDouble.cpp.tmp.log
grep -q powl\(-11\\.0,1\)=-11\\.0\\+
/home/ahmadi/klee/test/Feature/Output/LongDouble.cpp.tmp.log
grep -q powl\(-11\\.0,2\)=121\\.0\\+
/home/ahmadi/klee/test/Feature/Output/LongDouble.cpp.tmp.log
grep -q 1/0=inf /home/ahmadi/klee/test/Feature/Output/LongDouble.cpp.tmp.log
grep -q 1/-1=-1\\.0\\+
/home/ahmadi/klee/test/Feature/Output/LongDouble.cpp.tmp.log
grep -q 1/-2=-0\\.50\\+
/home/ahmadi/klee/test/Feature/Output/LongDouble.cpp.tmp.log
--
Exit Code: 1
Command Output (stdout):
--
Command 0: "/home/ahmadi/llvm-2.9/Release+Asserts/bin/clang++"
"-I/home/ahmadi/klee/include" "-I../../../include" "-g" "-fno-exceptions"
"-emit-llvm" "-O0" "-c" "-o"
"/home/ahmadi/klee/test/Feature/Output/LongDouble.cpp.tmp.bc"
"/home/ahmadi/klee/test/Feature/LongDouble.cpp"
Command 0 Result: 1
Command 0 Output:


Command 0 Stderr:
/home/ahmadi/klee/test/Feature/LongDouble.cpp:11:10: fatal error: 'cstdio'
file not found
#include <cstdio>
         ^
1 error generated.


--

********************
Testing Time: 7.75s
********************
Failing Tests (10):
    KLEE :: CXX/ArrayNew.cpp
    KLEE :: CXX/New.cpp
    KLEE :: CXX/SimpleVirtual.cpp
    KLEE :: CXX/StaticConstructor.cpp
    KLEE :: CXX/StaticDestructor.cpp
    KLEE :: CXX/Trivial.cpp
    KLEE :: Concrete/_testingUtils.c
    KLEE :: Dogfood/ImmutableSet.cpp
    KLEE :: Feature/LargeReturnTypes.cpp
    KLEE :: Feature/LongDouble.cpp

  Expected Passes    : 167
  Expected Failures  : 2
  Unsupported Tests  : 4
  Unexpected Failures: 10
Makefile:49: recipe for target 'check-local' failed
make[1]: *** [check-local] Error 1
make[1]: Leaving directory '/home/ahmadi/klee/test'
/home/ahmadi/klee/Makefile.rules:1863: recipe for target 'check' failed
make: *** [check] Error 2



Thanks for your help.

-- 
Reza Ahmadi
Ph.D. student
Software Technology lab
624 Goodwin Hall
Queen's University, Kingston, ON
+1 (613) 7708830 | ahmadi at cs.queensu.ca
https://sites.google.com/site/reahmdi/
-------------- next part --------------
HTML attachment scrubbed and removed