[klee-dev] Information on reproducing exeperimetation on Coreutils.6.10 with Klee.

[el habib Boudjema]

Hello,

I am a PhD student, I am using the Klee engine.

I want to know how to reproduce the experimentation you did on Coreutils
6.10. For instance I successfully run the simple experimentation you show
on  : http://klee.github.io/tutorials/testing-coreutils/, and want to know
what are precisely the options you gave to the tool to discover the bugs
you found.


Thank you in advance for your response.
-------------- next part --------------
HTML attachment scrubbed and removed