[klee-dev] Store only test cases with counter-examples

[Anton Trunov]

Hi Frank,

Thank you for the pointer, it is hugely useful.

Kind regards,
Anton

> On 16 Feb 2021, at 19:41, Frank Busse <f.busse at imperial.ac.uk> wrote:
> 
> Hi Anton,
> 
> 
> On Wed, 10 Feb 2021 10:39:09 +0300
> Anton Trunov <anton.a.trunov at gmail.com> wrote:
> 
>> I’m looking for a CLI option that would allow me to store only test
>> cases resulting in errors. The `--only-output-states-covering-new`
>> option reduces the number of tests written to my hard drive
>> significantly, however I’d like to keep only the counter-examples as
>> it simplifies my workflow.
>> 
>> (I apologize if I have missed it in the docs, `klee —help` output or
>> in the list archives)
> 
> I have an open PR https://github.com/klee/klee/pull/1343 (WIP) that
> allows you to specify "--write-tests=error" to only write test cases
> for paths with errors. Maybe you can use that one? Upstream KLEE has
> afaik no configuration option to achieve the same thing.
> 
> 
> Kind regards,
> 
> Frank
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev