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

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 : > Hi, > you can find the options used to run KLEE here: http://klee.github.io/ >

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

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

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

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 > wrote: > > Hello, > > I am a PhD student, I am using the Klee engine. > > I want to know how to

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

Hi Habib, You could read the "Per-path files" chapter in the link: http://klee.github.io/docs/files/ The file test..err may be the file you want. Best, Chengyu 2016-12-12 19:45 GMT+08:00 el habib Boudjema : > Thank you, for your fast answer. > Also I have

[klee-dev] Error using klee-replay

Hi all, When trying to use klee-replay to replay a test case I'm getting the following errors: $ ./Documents/git/klee/Release+Asserts/bin/klee-replay ./target klee-out-0/test44.ktest ./Documents/git/klee/Release+Asserts/bin/klee-replay: TEST CASE: klee-out-0/test44.ktest