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
