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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
