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.mattave...@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.boudj...@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@imperial.ac.uk > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > > >
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev