[clang] [llvm] [NFC][analyzer] Remove Z3-as-constraint-manager hacks from lit test code (PR #145731)

[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 HEAD~1...HEAD clang/test/lit.cfg.py llvm/utils/lit/lit/llvm/config.py
``````````

</details>

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

``````````diff
--- clang/test/lit.cfg.py	2025-06-25 15:39:10.000000 +0000
+++ clang/test/lit.cfg.py	2025-06-25 16:01:41.046715 +0000
@@ -174,14 +174,11 @@
     tools.append("clang-check")
 
     if config.clang_staticanalyzer_z3:
         config.available_features.add("z3")
         config.substitutions.append(
-            (
-                "%z3_include_dir",
-                config.clang_staticanalyzer_z3_include_dir
-            )
+            ("%z3_include_dir", config.clang_staticanalyzer_z3_include_dir)
         )
     else:
         config.available_features.add("no-z3")
 
     check_analyzer_fixit_path = os.path.join(

``````````

</details>


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