Dear Mr Daniel, I just found out how my CDE distribution of KLEE couldnt run, it was just because files are not executable. After running chmod +x -R to this folder, I could run it perfectly.
I also built successfully KLEE from scratch. It's quite long but succeeded at last. Thank you, On Wed, Apr 10, 2013 at 8:21 PM, Daniel Liew <[email protected]>wrote: > 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. > -- 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
