From c126d6892af5bbb0626cceb19df4947b5c468306 Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Thu, 12 May 2016 16:20:55 +0200
Subject: [PATCH] Fix states with no children
---
src/lib/CoAlgReasoner.ml | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/src/lib/CoAlgReasoner.ml b/src/lib/CoAlgReasoner.ml
index d2ebd6b..efb1734 100644
--- a/src/lib/CoAlgReasoner.ml
+++ b/src/lib/CoAlgReasoner.ml
@@ -438,6 +438,12 @@ let propagateUnsatMu () =
setAddState setFinishingStates state
| Open ->
setAddState setStates state;
+ if [] = (stateGetRules state)
+ then begin
+ stateSetStatus state Sat;
+ setAddState setFinishingStates state
+ end
+ else ();
if bsetCompare (stateGetDeferral state) emptySet == 0
then begin
setAddState setFinishingStates state
--
GitLab