change KEVMSemantics to KontrolSemantics for minimize_kcfg

runtimeverification · Dec 11, 2024 · c70cb16 · c70cb16
1 parent 32a25d3
commit c70cb16
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/kontrol/prove.py b/src/kontrol/prove.py
@@ -481,7 +481,7 @@ def create_kcfg_explore() -> KCFGExplore:
                 progress.update(task, advance=1, status='Finished')
 
             if options.minimize_proofs or options.config_type == ConfigType.SUMMARY_CONFIG:
-                proof.minimize_kcfg(heuristics=KEVMSemantics(), merge=True)
+                proof.minimize_kcfg(heuristics=KontrolSemantics(), merge=True)
 
             if start_time is not None:
                 end_time = time.time()