From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 21 Nov 2012 14:49:37 +0000 (+0100)
Subject: model-checker : abort if acceptance cycle detected
X-Git-Tag: v3_9_rc1~91^2~57
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/9eb198857c1c5d46886f0eb0ebbbfeca3d4de78e

model-checker : abort if acceptance cycle detected
---

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index e9dcf49bdf..81f71207b1 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -858,7 +858,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{