]> AND Public Git Repository - simgrid.git/blobdiff - src/simix/smx_global.cpp
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
[simgrid.git] / src / simix / smx_global.cpp
index f783f8be9db5b7fc54f64fee880f29241b0b38f8..d039e8cd1e344f713a399fccb506ca3d4b02b212 100644 (file)
@@ -260,7 +260,7 @@ void SIMIX_global_init(int *argc, char **argv)
     simix_timers = xbt_heap_new(8, &free);
   }
 
-  if (sg_cfg_get_boolean("clean_atexit"))
+  if (xbt_cfg_get_boolean("clean_atexit"))
     atexit(SIMIX_clean);
 
 #if HAVE_MC
@@ -381,7 +381,7 @@ static int process_syscall_color(void *p)
 void SIMIX_run(void)
 {
   if (MC_record_path) {
-    MC_record_replay_from_string(MC_record_path);
+    simgrid::mc::replay(MC_record_path);
     return;
   }