Hi Loi, I just tried this and it works fine for me. Are you sure you put ~/klee-cde-package/cde-root/bin in your PATH?
i.e. $ export PATH=~/klee-cde-package/cde-root/bin:$PATH On 5 April 2013 08:47, Loi Luu <[email protected]> wrote: > 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
