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