Change the default behavior: the tool no longer dumps the rewritten .dot file to stdout, but instead it automatically converts it into an .html file (which essentially wraps an .svg file) and immediately opens it with the default web browser.
This means that the tool should be fairly easy to use:
$ exploded-graph-rewriter.py /tmp/ExprEngine.dot
The benefits of wrapping the .svg file into an .html file are:
- It'll open in a web browser, which is the intended behavior. An .svg file would be open with an image viewer/editor instead.
- It avoids the white background around the otherwise dark svg area in dark mode.
I also added more help text so that it was easier to figure out how to use the tool (suggestions are welcome!).
The new feature bypasses tests because i don't expect everybody (esp. buildbots) to have python-graphviz installed. The LIT substitution is specifically tweaked to enforce the old mode.
TODO: Add a -o flag to specify the output file.