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

[Chengyu Zhang]

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.boudjema at 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.mattavelli at 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.boudjema at 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 at imperial.ac.uk
>> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>>
>>
>>
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at 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.zhang at gmail.com
-------------- next part --------------
HTML attachment scrubbed and removed