support for assume-defined flag (#758)

runtimeverification · Aug 8, 2024 · 7ca595c · 7ca595c
1 parent 97327bc
commit 7ca595c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/kontrol/prove.py b/src/kontrol/prove.py
@@ -453,6 +453,7 @@ def create_kcfg_explore() -> KCFGExplore:
                 progress=progress,
                 task_id=task,
                 maintenance_rate=options.maintenance_rate,
+                assume_defined=options.assume_defined,
             )
 
             if progress is not None and task is not None: