I am trying to get klee to compile on debian 7.8 amd64 system.
I have successfully installed llvm release build from within the
llvm-top folder, but when I try to configure klee, it keeps saying it
cannot autodetect the llvm build mode even though I pass the
Any thoughtswould be appreciated.