[klee-dev] KLEE cannot be found

[Kuchta, Tomasz]

Hello,

The KLEE binary should be in: <klee directory>/Release+Asserts/bin/
In order for shell to see the binary, you can, e.g., add this directory to your PATH variable.  

Best regards,
Tomek

On 2 Dec 2014, at 03:52, Wei Wen <wei.wen0 at gmail.com> wrote:

> Hello,
> 
> I successfully built KLEE. However, when I followed tutorials to run KLEE, I got error messages saying that KLEE cannot be found. Some people told me that I should find the KLEE executables and link them to my usr/bin directory. However, this step is not in KLEE's instruction website. I wonder if this step is overlooked? If I do need this step, how do I find where the executables are? Thank you very much.
> 
> Sincerely,
> Wei Wen
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

-------------- next part --------------
A non-text attachment was scrubbed...
Name: winmail.dat
Type: application/ms-tnef
Size: 4144 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20141202/2b19e457/attachment.bin>