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