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

[Daniel Liew]

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