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

[Loi Luu]

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 <daniel.liew at imperial.ac.uk>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 <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.
>



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