From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 18 Oct 2012 19:51:48 +0000 (+0200)
Subject: model-checker : use xbt_abort to exit MC if acceptance cycle detected
X-Git-Tag: v3_9_rc1~91^2~175
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/c9586ed59abbb442d8b66757d3b3f1b8f6df286e

model-checker : use xbt_abort to exit MC if acceptance cycle detected
---

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{