both default false

runtimeverification · Oct 7, 2024 · f1b916e · f1b916e
1 parent 8d4ab23
commit f1b916e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pyk/src/pyk/kcfg/exploration.py b/pyk/src/pyk/kcfg/exploration.py
@@ -109,5 +109,5 @@ def to_dict(self) -> dict[str, Any]:
     #
 
     # Minimizing the KCFG
-    def minimize_kcfg(self, merge: bool = True) -> None:
+    def minimize_kcfg(self, merge: bool = False) -> None:
         KCFGMinimizer(self.kcfg).minimize(merge=merge)