Dear Sir/ Ma’am,
I have successfully built Klee on my ubuntu machine, and I’m trying to to run Klee on its examples: get_sign, … etc. but I can’t move the directory to examples/get_sign. It says that the directory does not exists… It’s been two days and I’m still stuck on the same error. Please assist. Thank you for taking the time to read this, Shaikhah B. Alkhadhr >
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev