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

[Andrea Mattavelli]

Hi,
you can find the options used to run KLEE here: http://klee.github.io/docs/coreutils-experiments/

Best,
Andrea

> On 12 Dec 2016, at 10:37, el habib Boudjema <elhabib.boudjema at gmail.com> wrote:
> 
> 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/ <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.
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

-------------- next part --------------
HTML attachment scrubbed and removed