X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/df842dc41ca05e49bc585f7732df1849de91cac8..cd794f9367d030c421a5bcbd9e9ceba8a232e4ce:/src/mc/mc_global.c

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 85770eabc1..508ef2803f 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -273,9 +273,9 @@ void MC_assert_pair(int prop){
     XBT_INFO("**************************");
     XBT_INFO("*** PROPERTY NOT VALID ***");
     XBT_INFO("**************************");
-    XBT_INFO("Counter-example execution trace:");
-    MC_show_snapshot_stack(mc_snapshot_stack);
-    MC_dump_snapshot_stack(mc_snapshot_stack);
+    //XBT_INFO("Counter-example execution trace:");
+    //MC_show_snapshot_stack(mc_snapshot_stack);
+    //MC_dump_snapshot_stack(mc_snapshot_stack);
     //MC_print_statistics(mc_stats);
     xbt_abort();
   }