[klee-dev] KLEE cannot be found

[Wei Wen]

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
-------------- next part --------------
HTML attachment scrubbed and removed