make loging successful rewrites in exec requests optional

runtimeverification · May 13, 2024 · 6019fc2 · 6019fc2
1 parent 280fcb7
commit 6019fc2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pyk/src/pyk/cterm/symbolic.py b/pyk/src/pyk/cterm/symbolic.py
@@ -111,7 +111,7 @@ def execute(
                 cut_point_rules=cut_point_rules,
                 terminal_rules=terminal_rules,
                 module_name=module_name,
-                log_successful_rewrites=True,
+                log_successful_rewrites=self._trace_rewrites,
                 log_failed_rewrites=self._trace_rewrites,
             )
         except SmtSolverError as err: