No, but this would be easy to add. Can you open an issue on GitHub?
In the meantime, you can use the -write-paths or -write-sym-paths options (depending on how you define the depth) to get this info for completed paths.
Cristian On 18/02/16 20:06, Hayes Elliott Converse wrote:
Hello, I'm looking for a way to get Klee to report the maximum depth to which it explored paths in a limited-time run. I couldn't find anything in the manual or in klee-stats; is there such a utility? Thanks, Hayes Converse University of Texas at Austin _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
