bug in klee images
RiRi114 opened this issue · comments
klee --version 2.3
When I pulled the Klee image according to the official documentation and followed the testing process, I encountered an issue that i can not using clang like this picture.
Additionally, I need to use wllvm located in the /root/.local/bin directory, but due to permission issues, I cannot access this directory or use wllvm. Could you please provide the password for the root user? Thank you very much for your assistance!
Please use a more recent KLEE version. These Docker issues have been fixed since v2.3.