Hi all, I' ve follow de experimental tutorial <http://klee.github.io/experimental/> to KLEE in the last week and all was fine. Also I made the container klee/klee for docker.
But, when I try testing coreutils <http://klee.github.io/tutorials/testing-coreutils/>, I'm obtaining some errors: 1) *WITHOUT DOCKER case*: In *step 2* from tutorial. coreutils-6.11$ mkdir obj-llvm coreutils-6.11$ cd obj-llvm obj-llvm$ ../configure --disable-nls CFLAGS="-g" ... verify that configure worked ... obj-llvm$ *make CC=/my/path/to/klee/scripts/klee-gcc* This line fail with: /home/lala/klee/scripts/klee-gcc -g -Wl,--as-needed -o uname uname.o uname-uname.o ../lib/libcoreutils.a ../lib/libcoreutils.a Traceback (most recent call last): File "/home/lala/klee/scripts/klee-gcc", line 38, in <module> main() File "/home/lala/klee/scripts/klee-gcc", line 32, in main os.execvp("llvm-ld", ["llvm-ld", "--disable-opt"] + linkArgs) File "/usr/lib/python2.7/os.py", line 344, in execvp _execvpe(file, args) File "/usr/lib/python2.7/os.py", line 380, in _execvpe func(fullname, *argrest) *OSError: [Errno 2] No such file or director * Clearly i have not llvm-ld because it was removed <http://stackoverflow.com/questions/17779958/llvm-ld-still-exist-for-clang-3-4>. So, what shuold I change in klee-gcc to make it work with the new settings/version of things 2) *WITH DOCKER klee/klee case*: It fails in *step 1* (2 too) I run: sudo docker run -ti klee/klee klee@2f1c0eaa949c:~$ wget http://ftp.gnu.org/gnu/coreutils/coreutils-6.11.tar.gz klee@2f1c0eaa949c:~$ tar xf coreutils-6.11.tar.gz klee@2f1c0eaa949c:~$ cd coreutils-6.11 klee@2f1c0eaa949c:~/coreutils-6.11$ mkdir obj-gcov && cd obj-gcov klee@2f1c0eaa949c:~/coreutils-6.11/obj-gcov$ *../configure --disable-nls CFLAGS="-g -fprofile-arcs -ftest-coverage"* config.status: executing po-directories commands config.status: creating po/POTFILES config.status: creating po/Makefile rm: cannot remove 'confdir3/confdir3/confdir3/.. .(many many repetitions ).../confdir3/confdir3': File name too long - The same ocurr when executing the ../configure for obj-llvm case. Any help or ideas you can provide will be greatly appreciated. (I'm using ubuntu 14.04 x64) Thank you. -- Joshep
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev