From e330f312766febe35aa307299e5ca5102cfe8d14 Mon Sep 17 00:00:00 2001 From: abid <chiheb.abid@gmail.com> Date: Wed, 29 May 2019 11:19:06 +0100 Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?= =?UTF-8?q?=20src/ModelCheckLace.cpp?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/ModelCheckLace.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/ModelCheckLace.cpp b/src/ModelCheckLace.cpp index db8c87a..62fbe66 100644 --- a/src/ModelCheckLace.cpp +++ b/src/ModelCheckLace.cpp @@ -178,6 +178,7 @@ LDDState * ModelCheckLace::buildInitialMetaState() // c->m_lddstate=CALL(lddmc_canonize,initial_meta_state,0,*this); initalAggregate->m_lddstate=initial_meta_state; + initalAggregate->setVisited(); m_graph->setInitialState(initalAggregate); m_graph->insert(initalAggregate); // Compute successors @@ -214,6 +215,7 @@ void ModelCheckLace::buildSucc(LDDState *agregate) { if (!agregate->isVisited()) { // It's first time to visit agregate, then we have to build its successors + agregate->setVisited(); LDDState *reached_class=nullptr; LACE_ME; MDD meta_state(CALL(Aggregate_epsilon_lace,agregate->getLDDValue(),&m_nonObservable,&m_tb_relation)); -- GitLab