From 7744f59739c5cc16e2b388520cf654abe27f32d0 Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Thu, 13 Jun 2019 11:46:03 +0100
Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?=
=?UTF-8?q?=20src/ModelCheckBaseMT.cpp=20=09modifi=C3=A9=C2=A0:=20=20=20?=
=?UTF-8?q?=20=20=20=20=20=20src/ModelCheckerTh.cpp=20=09modifi=C3=A9?=
=?UTF-8?q?=C2=A0:=20=20=20=20=20=20=20=20=20src/main.cpp?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/ModelCheckBaseMT.cpp | 2 +-
src/ModelCheckerTh.cpp | 11 ++++-------
src/main.cpp | 5 ++---
3 files changed, 7 insertions(+), 11 deletions(-)
diff --git a/src/ModelCheckBaseMT.cpp b/src/ModelCheckBaseMT.cpp
index 166eed4..4e8df68 100644
--- a/src/ModelCheckBaseMT.cpp
+++ b/src/ModelCheckBaseMT.cpp
@@ -22,7 +22,7 @@ void ModelCheckBaseMT::loadNet()
ModelCheckBaseMT::~ModelCheckBaseMT()
{
- cout<<__func__<<endl;
+
}
diff --git a/src/ModelCheckerTh.cpp b/src/ModelCheckerTh.cpp
index aedecaf..64b3694 100644
--- a/src/ModelCheckerTh.cpp
+++ b/src/ModelCheckerTh.cpp
@@ -228,16 +228,13 @@ void ModelCheckerTh::ComputeTh_Succ()
}
ModelCheckerTh::~ModelCheckerTh() {
- m_finish=true;
- cout<<"Destructor"<<endl;
- pthread_barrier_wait(&m_barrier_threads);
- cout<<"Before builder..."<<endl;
- pthread_barrier_wait(&m_barrier_builder);
- cout<<"After barrier..."<<endl;
+ m_finish=true;
+ pthread_barrier_wait(&m_barrier_threads);
+ pthread_barrier_wait(&m_barrier_builder);
for (int i = 0; i < m_nb_thread; i++)
{
cout<<"thread "<<i<<endl;
pthread_join(m_list_thread[i], NULL);
}
- cout<<"Exit Destructor"<<endl;
+
}
diff --git a/src/main.cpp b/src/main.cpp
index 620d144..34115a9 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -157,18 +157,17 @@ int main(int argc, char** argv)
mcl->loadNet();
auto k =
std::make_shared<SogKripkeTh>(d,mcl,R.getListTransitionAP(),R.getListPlaceAP());
- cout<<"Want to save the graph in a dot file ?";
+ /* cout<<"Want to save the graph in a dot file ?";
cin>>c;
if (c=='y')
{
fstream file;
-
string st(argv[3]);
st+=".dot";
file.open(st.c_str(),fstream::out);
spot::print_dot(file, k,"ka");
file.close();
- } ;
+ } */ ;
// Performing on the fly Modelchecking
cout<<"Performing on the fly Modelchecking"<<endl;
--
GitLab