Hi Loi, I tested the CDE distribution of KLEE on Ubuntu 12.04.1 Long term support.
If you are having issues with the CDE distribution of KLEE one way around this is simply to build KLEE yourself from scratch. I (and others) have built KLEE on other distributions without issue. The instructions are here http://klee.llvm.org/GetStarted.html#build If you follow these instructions precisely you should be fine. Regards, Dan Liew. On 10 April 2013 11:09, Loi Luu <[email protected]> wrote: > Dear sir, > > I still got the problem with Ubuntu 12.10. Last time I downgraded to 12.04 > version and I could run KLEE successfully. However, when I installed again > Ubuntu 12.10, KLEE doesn't work and still the same error. > > So did u test it on Ubuntu 12.10 exactly? > > Thanks, > > > On Tue, Apr 9, 2013 at 8:33 AM, Loi Luu <[email protected]> wrote: >> >> 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. > > > > > -- > 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
