From c9586ed59abbb442d8b66757d3b3f1b8f6df286e Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 18 Oct 2012 21:51:48 +0200
Subject: [PATCH] model-checker : use xbt_abort to exit MC if acceptance cycle
 detected

---
 src/mc/mc_liveness.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 1fb8fbfd04..f1e5e3dd08 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -447,7 +447,7 @@ void MC_ddfs(int search_cycle){
                 MC_show_stack_liveness(mc_stack_liveness);
                 MC_dump_stack_liveness(mc_stack_liveness);
                 MC_print_statistics_pairs(mc_stats_pair);
-                exit(0);
+                xbt_abort();
 
               }else{
 
-- 
2.20.1