[klee-dev] Interpreting the output of --write-sym-paths and --write-paths

[Sean Heelan]

Hi,

I was wondering if someone could enlighten me as to how the paths.ts,
symPaths.ts, test*.path and test*.sym.path files generated by
--write-sym-paths and --write-paths can be used?

Some googling turned up [1] but, other than that, is there an intended
application for processing this data?

Cheers,
Sean

[1]
https://gitlab.doc.ic.ac.uk/dsl11/klee-cl/tree/two_thread_hack/utils/hacks/TreeGraphs
-------------- next part --------------
HTML attachment scrubbed and removed