X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/23a620e6c6df0a9023991f607cb93b71ed8f6065..a919469a2cba34e8d082b652f03b33182d27fa5d:/src/mc/mc_global.c diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index 8c3f1718c8..203b7aa8c7 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -65,13 +65,13 @@ void MC_init_with_automaton(xbt_automaton_t a){ mc_stats = xbt_new0(s_mc_stats_t, 1); mc_stats->state_size = 1; + XBT_DEBUG("Creating snapshot_stack"); + /* Create exploration stack */ mc_snapshot_stack = xbt_fifo_new(); MC_UNSET_RAW_MEM; - XBT_DEBUG("---------- Avant dfs init -----------"); - MC_dfs_init(a); }