Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Definitely remove deprecated stuff in private area.
[simgrid.git] / src / mc / mc_global.cpp
index 2bfdb0cff4a180ed74e8bb8ab22660fa9368adee..219b913445ba845880c2e6cde11c9f74022e36b4 100644 (file)
@@ -16,7 +16,7 @@
 #include "src/mc/mc_request.hpp"
 #include "src/mc/mc_safety.hpp"
 #include "src/mc/mc_smx.hpp"
-#include "src/mc/remote/Client.hpp"
+#include "src/mc/remote/AppSide.hpp"
 #include "src/mc/sosp/Snapshot.hpp"
 #include "xbt/backtrace.hpp"
 
@@ -69,7 +69,6 @@ void MC_init_dot_output()
 
   fprintf(dot_output,
           "digraph graphname{\n fixedsize=true; rankdir=TB; ranksep=.25; edge [fontsize=12]; node [fontsize=10, shape=circle,width=.5 ]; graph [resolution=20, fontsize=10];\n");
-
 }
 
 /*******************************  Core of MC *******************************/
@@ -80,7 +79,7 @@ void MC_run()
   simgrid::mc::processes_time.resize(simgrid::kernel::actor::get_maxpid());
   MC_ignore_heap(simgrid::mc::processes_time.data(),
     simgrid::mc::processes_time.size() * sizeof(simgrid::mc::processes_time[0]));
-  simgrid::mc::Client::get()->main_loop();
+  simgrid::mc::AppSide::get()->main_loop();
 }
 
 void MC_show_deadlock()