Please refer to the issue on my repo [Issue](https://github.com/klee-os/Klee-OS/issues/1) It has the logs.