détection de cycle d'acceptation ok mais boucle infinie en cas d'absence de cycle

[simgrid.git] / src / mc / mc_global.c

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 8c3f171..203b7aa 100644 (file)
--- 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;
 
   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;
 
  /* Create exploration stack */
   mc_snapshot_stack = xbt_fifo_new();
 
   MC_UNSET_RAW_MEM;
 

-  XBT_DEBUG("---------- Avant dfs init -----------");
-

   MC_dfs_init(a);
 }
 
   MC_dfs_init(a);
 }