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

[el habib Boudjema]

Thank you, for your fast answer.
Also I have another question : How to get the right test case that
triggered the bug ?

2016-12-12 11:56 GMT+01:00 Andrea Mattavelli <a.mattavelli at imperial.ac.uk>:

> 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/, 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