[klee-dev] Path Depth Exploration Reporting

[Cristian Cadar]

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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>