Hi Frank, Thank you for the pointer, it is hugely useful.
Kind regards, Anton > On 16 Feb 2021, at 19:41, Frank Busse <f.bu...@imperial.ac.uk> wrote: > > Hi Anton, > > > On Wed, 10 Feb 2021 10:39:09 +0300 > Anton Trunov <anton.a.tru...@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@imperial.ac.uk > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev