Rename gras_config to internal_config.

[simgrid.git] / src / simix / smx_smurf.c

diff --git a/src/simix/smx_smurf.c b/src/simix/smx_smurf.c
index d5a93fc..67dc288 100644 (file)
--- a/src/simix/smx_smurf.c
+++ b/src/simix/smx_smurf.c
@@ -25,6 +25,7 @@ void SIMIX_simcall_push(smx_process_t self)
               SIMIX_simcall_name(self->simcall.call), (int)self->simcall.call);
     SIMIX_process_yield(self);
   } else {
+    XBT_DEBUG("I'm the maestro, execute the simcall directly");
     SIMIX_simcall_pre(&self->simcall, 0);
   }
 }
@@ -560,13 +561,13 @@ void SIMIX_simcall_pre(smx_simcall_t simcall, int value)
 
 #ifdef HAVE_MC
     case SIMCALL_MC_SNAPSHOT:
-      simcall->mc_snapshot.s = MC_take_snapshot_liveness();
+      simcall->mc_snapshot.s = MC_take_snapshot();
       SIMIX_simcall_answer(simcall);
       break;
 
     case SIMCALL_MC_COMPARE_SNAPSHOTS:
       simcall->mc_compare_snapshots.result =
-        snapshot_compare(simcall->mc_compare_snapshots.snapshot1, simcall->mc_compare_snapshots.snapshot2);
+        snapshot_compare(simcall->mc_compare_snapshots.snapshot1, simcall->mc_compare_snapshots.snapshot2, NULL, NULL);
       SIMIX_simcall_answer(simcall);
       break;
 #endif /* HAVE_MC */