[klee-dev] Path Depth Exploration Reporting

[Hayes Elliott Converse]

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
-------------- next part --------------
HTML attachment scrubbed and removed