[klee-dev] Question about how to run KLEE in Ubuntu 12.10

[Loi Luu]

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 <daniel.liew at imperial.ac.uk>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 <loi.luuthe at gmail.com> 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 at 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.
-------------- next part --------------
HTML attachment scrubbed and removed