Hi Habib, You could read the "Per-path files" chapter in the link: http://klee.github.io/docs/files/ The file test<N>.<error-type>.err may be the file you want.
Best, Chengyu 2016-12-12 19:45 GMT+08:00 el habib Boudjema <elhabib.boudj...@gmail.com>: > 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/do >> cs/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 > > -- 张枨宇 Chengyu Zhang East China Normal University School of Computer Science and Software Engineering Tel: +86 18685412181 Mail: dale.chengyu.zh...@gmail.com
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev