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
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev