From ebbc1b64a24680687cfb97a6f1d6f0f88e1b252d Mon Sep 17 00:00:00 2001
From: Petar Maksimovic <petar.maksimovic@runtimeverification.com>
Date: Tue, 17 Dec 2024 16:26:18 +0000
Subject: [PATCH] adding optimize_kcfg

---
 src/kontrol/prove.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/kontrol/prove.py b/src/kontrol/prove.py
index 56ff8f9c2..b87d6eddb 100644
--- a/src/kontrol/prove.py
+++ b/src/kontrol/prove.py
@@ -475,6 +475,7 @@ def create_kcfg_explore() -> KCFGExplore:
                 maintenance_rate=options.maintenance_rate,
                 assume_defined=options.assume_defined,
                 extra_module=extra_lemmas_module,
+                optimize_kcfg=options.optimize_kcfg
             )
 
             if progress is not None and task is not None: