diff --git a/src/ModelCheckBaseMT.cpp b/src/ModelCheckBaseMT.cpp index 166eed4c21f3b4253ff9582ca0a2bf55a9015944..4e8df685fe1b365ccd5d90965a331e3c2964e8fa 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 aedecafb3ed09834f9c093238fbd02db5cbfc080..64b36944e20071c8fb317bba19c923e1a1b68e0c 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 620d144c1bdcacdb2f78fda9d7b2805e8b5547ab..34115a97cf6e794b1a2178d4ebcc8cbb85b795a7 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;