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

[Loi Luu]

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 <loi.luuthe at gmail.com> 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 <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.
>



-- 
Loi, Luu The (Mr.)
University of  Engineering and Technology, Vietnam National University,
Hanoi.
-------------- next part --------------
HTML attachment scrubbed and removed