Dear Sir/ Madam, I am a student from Vietnam National University, and trying to run KLEE in my Ubuntu 12.10.
I downloaded the self-contained package and try to follow the readme file. However, I got the problem as shown below: *turtle@turtle-pc~/klee-cde-package/cde-root/home/pgbovine/klee/examples/islower $ * llvm-gcc.cde -I../../include/ --emit-llvm -c -g islower.c /home/turtle/klee-cde-package/bin/../cde-exec: llvm-gcc: command not found (path_to_search=/home/turtle/klee-cde-package/cde-root/home/pgbovine/zcov/src/llvm-gcc) I dont know whether I missed any step to run KLEE or you haven't updated the latest readme file. Please let me know. I am looking forward to hearing from you soon. Thank you, -- 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
