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

[Cristian Cadar]

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