From 080482ac4f1980764fbccc0821511a74cb21294a Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Sat, 9 Apr 2016 22:15:28 +0200
Subject: [PATCH] Consider expanable Cores (but not states)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Acceptance test for cores is ∃ which is safe to use when non or only
some child states are created tus far
---
src/lib/CoAlgReasoner.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/lib/CoAlgReasoner.ml b/src/lib/CoAlgReasoner.ml
index f24d02f..1a87848 100644
--- a/src/lib/CoAlgReasoner.ml
+++ b/src/lib/CoAlgReasoner.ml
@@ -148,7 +148,7 @@ let propagateSatMu () =
| Unsat -> ()
| Sat ->
setAddCore setSatCores core
- | Expandable -> ()
+ | Expandable
| Open ->
setAddCore setCores core;
if bsetCompare (coreGetDeferral core) emptySet == 0
--
GitLab