Update for the latest KLEE
XVilka opened this issue · comments
Anton Kochkov commented
There were a lot of improvements and bugfixes in KLEE since:
- 2.0.0 release https://github.com/klee/klee/releases/tag/v2.0
- Newer changes: klee/klee@v2.0...master
Sergey Mechtaev commented
Thanks, we plan to update it. Currently, Angelix uses old llvm with llvm-gcc. To update KLEE, we also have to switch to newer llvm and use wllvm instead.