Thank you Sir, I just reinstalled my Ubuntu and it works. So i guess its about my environment.
Thanks, On Mon, Apr 8, 2013 at 11:51 PM, Daniel Liew <[email protected]>wrote: > 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. >> > > -- 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
