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
