Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

bug in klee images #1710

Open
RiRi114 opened this issue Mar 5, 2024 · 1 comment
Open

bug in klee images #1710

RiRi114 opened this issue Mar 5, 2024 · 1 comment

Comments

@RiRi114
Copy link

RiRi114 commented Mar 5, 2024

klee --version 2.3
edecb96a9a346421456241037661386

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!
@ccadar
Copy link
Contributor

ccadar commented Mar 19, 2024

Please use a more recent KLEE version. These Docker issues have been fixed since v2.3.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ccadar @RiRi114