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

[Anton Trunov]

Dear all,

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)

Best regards,
Anton Trunov