[clang] [analyzer] Allow egraph rewriter not to open the generated HTML directly (PR #85515)

[via cfe-commits]

github-actions[bot] wrote:

<!--LLVM CODE FORMAT COMMENT: {darker}-->


:warning: Python code formatter, darker found issues in your code. :warning:

<details>
<summary>
You can test this locally with the following command:
</summary>

``````````bash
darker --check --diff -r 8f68022f8e6e54d1aeae4ed301f5a015963089b7...1d37cd1a7dac2ddb05fdcf125483991b3ac645d8 clang/utils/analyzer/exploded-graph-rewriter.py
``````````

</details>

<details>
<summary>
View the diff from darker here.
</summary>

``````````diff
--- exploded-graph-rewriter.py	2024-03-16 10:25:12.000000 +0000
+++ exploded-graph-rewriter.py	2024-03-16 11:10:55.694720 +0000
@@ -477,12 +477,13 @@
 
 
 # A visitor that dumps the ExplodedGraph into a DOT file with fancy HTML-based
 # syntax highlighing.
 class DotDumpVisitor:
-    def __init__(self, do_diffs, dark_mode, gray_mode, topo_mode, dump_dot_only,
-            dump_html_only):
+    def __init__(
+        self, do_diffs, dark_mode, gray_mode, topo_mode, dump_dot_only, dump_html_only
+    ):
         self._do_diffs = do_diffs
         self._dark_mode = dark_mode
         self._gray_mode = gray_mode
         self._topo_mode = topo_mode
         self._dump_dot_only = dump_dot_only
@@ -1217,12 +1218,16 @@
         trimmers.append(SinglePathTrimmer())
 
     explorer = BasicExplorer()
 
     visitor = DotDumpVisitor(
-        args.diff, args.dark, args.gray, args.topology, args.dump_dot_only,
-        args.dump_html_only
+        args.diff,
+        args.dark,
+        args.gray,
+        args.topology,
+        args.dump_dot_only,
+        args.dump_html_only,
     )
 
     for trimmer in trimmers:
         trimmer.trim(graph)
 

``````````

</details>


https://github.com/llvm/llvm-project/pull/85515