Hi Anton,
On Wed, 10 Feb 2021 10:39:09 +0300 Anton Trunov <[email protected]> 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 [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
