X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/149c63f36e15b8500b1e826bda5138318ff7ba2b..c861e455a4b4878c23eac5209046c63bed2c163e:/src/mc/mc_global.cpp diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp index 2bfdb0cff4..219b913445 100644 --- a/src/mc/mc_global.cpp +++ b/src/mc/mc_global.cpp @@ -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()