Option to color-highlight a callgraph DOT file

[jordr]

Show function categorization, coverage, and where recoveries happen

[jordr]

This might not be so easy because the callgraph generation is handled by opt, not by klee