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 | ahm...@cs.queensu.ca
https://sites.google.com/site/reahmdi/
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
