Test proof granularity theory-rewrite by default (#8038)

Recently we updated proof granularity to be macro by default, but we should test theory-rewrite granularity in our regressions.

diff --git a/test/regress/run_regression.py b/test/regress/run_regression.py
index 362af1730594946777565cb8caf9e6f77d72ef9e..6f0b00fba189b3b55703928f34e45c5a60f744d5 100755 (executable)
--- a/test/regress/run_regression.py
+++ b/test/regress/run_regression.py
@@ -174,7 +174,7 @@ class ProofTester(Tester):
     def run(self, benchmark_info):
         return super().run(
             benchmark_info._replace(
-                command_line_args=benchmark_info.command_line_args + ["--check-proofs"]
+                command_line_args=benchmark_info.command_line_args + ["--check-proofs", "--proof-granularity=theory-rewrite"]
             )
         )