From 92910d0887379392cb4dc301ccce5289173dff0b Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Fri, 14 Jun 2019 16:30:58 +0100
Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?=
=?UTF-8?q?=20src/ModelCheckerTh.cpp=20=09modifi=C3=A9=C2=A0:=20=20=20=20?=
=?UTF-8?q?=20=20=20=20=20src/threadSOG.cpp?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/ModelCheckerTh.cpp | 2 ++
src/threadSOG.cpp | 2 +-
2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/ModelCheckerTh.cpp b/src/ModelCheckerTh.cpp
index 64b3694..271348c 100644
--- a/src/ModelCheckerTh.cpp
+++ b/src/ModelCheckerTh.cpp
@@ -162,6 +162,8 @@ void * ModelCheckerTh::Compute_successors()
MDD complete_state=Accessible_epsilon(get_successor(meta_state,transition));
reached_class=new LDDState;
reached_class->m_lddstate=complete_state;
+ reached_class->setDiv(Set_Div(complete_state));
+ reached_class->setDeadLock(Set_Bloc(complete_state));
pthread_mutex_lock(&m_graph_mutex);
LDDState* pos=m_graph->find(reached_class);
if(!pos)
diff --git a/src/threadSOG.cpp b/src/threadSOG.cpp
index 0481ca4..328b88f 100644
--- a/src/threadSOG.cpp
+++ b/src/threadSOG.cpp
@@ -958,7 +958,7 @@ TASK_IMPL_3(MDD, lddmc_canonize,MDD, s,unsigned int, level, threadSOG & ,ds)
}
-
+
void threadSOG::computeSOGLaceCanonized(LDDGraph &g)
--
GitLab