[klee-dev] Reproduce the OSDI'08 coreutils result on the latest version of KLEE

[Shiyu Dong]

Hi all,

I want to try to reproduce the result of the coreutils experiment on the
latest version of KLEE, and I found this tutorial.

http://klee.llvm.org/CoreutilsExperiments.html

I used the command specified in question #7. However it takes forever to
run on my machine.

I'm wondering if there's any update on those commands. Also, I'm running
KLEE on ubuntu 12.04 64 bit. Is there anything specific that I need to pay
attention to on 64 bit machine?

Thanks,
Shiyu
-------------- next part --------------
HTML attachment scrubbed and removed