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
