[klee-dev] About build coreutils with LLVM

[Loi Luu]

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.
-------------- next part --------------
HTML attachment scrubbed and removed