modifié : src/ModelCheckBaseMT.cpp

	modifié :         src/ModelCheckerTh.cpp
	modifié :         src/main.cpp

src/ModelCheckBaseMT.cpp

@@ -22,7 +22,7 @@ void ModelCheckBaseMT::loadNet()
 
 ModelCheckBaseMT::~ModelCheckBaseMT()
 {
-    cout<<__func__<<endl;
+   
 }
 
 

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;
+     
 }

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;