Hi, I have the same problem here. After running the command: *gcov echo *i got the result which is different from tutorial: File '../../src/echo.c' Lines executed:19.42% of 103 ../../src/echo.c:creating 'echo.c.gcov'
File '../../src/system.h' Lines executed:0.00% of 3 ../../src/system.h:creating 'system.h.gcov' Then I come to step 2, to build coreutils with llvm, I got the error after running the command *make CC=$HOME/klee/scripts/klee-gcc*: llvm-ld: error: Cannot find library 'rt' make[3]: *** [dd] Error 1 I did add add llvm/Release/bin to my PATH, and I run *> $ llvm-gcc -dumpmachine* *and got * *> x86_64-unknown-linux-gnu* Then could you please let me know what should I do to compile coreutils successfully? By the way, is it normal to get this result (3 unexpected error) after run *make check* after installing klee: # of expected passes 111 # of unexpected failures 2 # of expected failures 3 XFAIL: /home/turtle/klee/test/Expr/Evaluate2.pc XFAIL: /home/turtle/klee/test/Programs/pcregrep.c FAIL: /home/turtle/klee/test/Runtime/POSIX/DirConsistency.c KLEE: ERROR: /home/turtle/klee/runtime/POSIX/fd.c:735: ASSERTION FAIL: s != (off64_t) -1 Error: ASSERTION FAIL: s != (off64_t) -1 FAIL: /home/turtle/klee/test/Runtime/POSIX/DirSeek.c KLEE: ERROR: /home/turtle/klee/runtime/POSIX/fd.c:735: ASSERTION FAIL: s != (off64_t) -1 Error: ASSERTION FAIL: s != (off64_t) -1 XFAIL: /home/turtle/klee/test/Runtime/POSIX/SELinux.c make[1]: *** [check-local] Error 1 make[1]: Leaving directory `/home/turtle/klee/test' make: *** [check] Error 2 -- Loi, Luu The (Mr.) University of Engineering and Technology, Vietnam National University, Hanoi.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
