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

[Frank Busse]

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