Hi Shiyu,
On 24/09/2013 19:56, Shiyu Dong wrote:
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 not sure what you mean: as specified by the --max-time option, that
should take approximately one hour :) (modulo some extra test generation
at the end, and benchmarks that complete in less than one hour). Don't
you see the message "HaltTimer invoked" after 1h?
This being said, it is unlikely that you'll obtain the same results as
in the original paper, for reasons that are discussed on the webpage
above and in prior messages (changes in KLEE, different LLVM and STP
versions, 64 vs 32bit, etc.)
Best,
Cristian
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
