bug in klee images

[RiRi114]

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!

[ccadar]

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