From 42dab1bfefec9079c74eb2d6e835674770ea8c87 Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Tue, 4 Jun 2019 23:47:43 +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/main.cpp?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/ModelCheckerTh.cpp | 4 ----
src/main.cpp | 5 +----
2 files changed, 1 insertion(+), 8 deletions(-)
diff --git a/src/ModelCheckerTh.cpp b/src/ModelCheckerTh.cpp
index 1e748b0..b155c67 100644
--- a/src/ModelCheckerTh.cpp
+++ b/src/ModelCheckerTh.cpp
@@ -152,10 +152,6 @@ void ModelCheckerTh::buildSucc(LDDState *agregate)
pthread_spin_lock(&m_spin_stack[m_min_charge]);
m_st[m_min_charge].push(agregate);
pthread_spin_unlock(&m_spin_stack[m_min_charge]);
- if(!isNotTerminated())
- {
- ComputeTh_Succ();
- }
}
}
diff --git a/src/main.cpp b/src/main.cpp
index 85b562b..e1b435a 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -229,11 +229,8 @@ int main(int argc, char** argv)
auto k =
-<<<<<<< HEAD
std::make_shared<SogKripkeTh>(d,mcl,R.getListTransitionAP(),R.getListPlaceAP()); ;
-=======
- std::make_shared<SogKripkeTh>(d,mcl,R.getListTransitionAP(),R.getListPlaceAP());
->>>>>>> 8a83ddf40bff014aa15b8f24670733207dbbd072
+
// Performing on the fly Modelchecking
cout<<"Want to save the graph in a dot file ?";
cin>>c;
--
GitLab