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 <[email protected]> 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 > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
<<attachment: winmail.dat>>
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
