From 3c05e89f888bbaff84479bcb649b23a88b6a550c Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Mon, 11 Apr 2016 01:29:56 +0200
Subject: [PATCH] Allow finishing cycles depending on only Sat states
---
src/lib/CoAlgReasoner.ml | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/lib/CoAlgReasoner.ml b/src/lib/CoAlgReasoner.ml
index 46286bd..aebf424 100644
--- a/src/lib/CoAlgReasoner.ml
+++ b/src/lib/CoAlgReasoner.ml
@@ -124,6 +124,7 @@ let propagateSatMu () =
match stateGetStatus state with
| Unsat -> ()
| Sat ->
+ setAddState setStates state;
setAddState setFinishingStates state
| Expandable -> ()
| Open ->
@@ -145,6 +146,7 @@ let propagateSatMu () =
match coreGetStatus core with
| Unsat -> ()
| Sat ->
+ setAddCore setCores core;
setAddCore setFinishingCores core
| Expandable
| Open ->
--
GitLab