Hello, I'm having an issue with running the latest snapshot of KLEE (together with the latest snapshot of LLVM): everything builds properly, as instructed in the Getting Started page, but when I try to run any of the examples in the tutorials, I get the following error:
$ Release/bin/klee --only-output-states-covering-new Regexp.o KLEE: output directory = "klee-out-1" unable to make jit: No JIT is available for this host 0 klee 0x08961258 Aborted I should also mention that I run Ubuntu 9.04 x86, with all the updates applied. Do you have any idea why this could happen? Thank you, Stefan Bucur
