Output the path overlap graph. */
| 725 | |
| 726 | /** Output the path overlap graph. */ |
| 727 | static void |
| 728 | outputPathGraph(PathGraph& pathGraph) |
| 729 | { |
| 730 | if (opt::graphPath.empty()) |
| 731 | return; |
| 732 | ofstream out(opt::graphPath.c_str()); |
| 733 | assert_good(out, opt::graphPath); |
| 734 | write_dot(out, pathGraph); |
| 735 | assert_good(out, opt::graphPath); |
| 736 | } |
| 737 | |
| 738 | /** Sort and output the specified paths. */ |
| 739 | static void |
no test coverage detected