From 2fdde967b33a0a232a3988254536fc6d4dbf33b7 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 2 Jan 2013 18:59:52 +0100
Subject: [PATCH 1/1] model-checker : use xbt_abort after exhaustive
 exploration

---
 src/mc/mc_global.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index b7ed883891..5ebe09ea70 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -290,6 +290,7 @@ void MC_exit(void)
 {
   xbt_free(mc_time);
   MC_memory_exit();
+  xbt_abort();
 }
 
 
-- 
2.20.1