X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/53eb716f62b13f2c4efeb77f137589483bf941ee..e7c2b72c7328c4aade5049a3cc21603a9d27842c:/src/mc/mc_client_api.c?ds=sidebyside

diff --git a/src/mc/mc_client_api.c b/src/mc/mc_client_api.c
index fad7c0ffd8..f9d58db27c 100644
--- a/src/mc/mc_client_api.c
+++ b/src/mc/mc_client_api.c
@@ -23,14 +23,12 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_client_api, mc,
 void MC_assert(int prop)
 {
   if (MC_is_active() && !prop) {
-    XBT_INFO("**************************");
-    XBT_INFO("*** PROPERTY NOT VALID ***");
-    XBT_INFO("**************************");
-    XBT_INFO("Counter-example execution trace:");
-    MC_record_dump_path(mc_stack);
-    MC_dump_stack_safety(mc_stack);
-    MC_print_statistics(mc_stats);
-    xbt_abort();
+    if (mc_mode == MC_MODE_STANDALONE) {
+      MC_report_assertion_error();
+    } else {
+      MC_client_send_simple_message(MC_MESSAGE_ASSERTION_FAILED);
+      MC_client_handle_messages();
+    }
   }
 }