Hi Stefan, This should be fixed in TOT, thanks.
- Daniel On Fri, Jul 17, 2009 at 6:56 AM, Bucur Stefan<stefan.bucur at epfl.ch> wrote: > 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 > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
