model-checker : abort if acceptance cycle detected

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index e9dcf49..81f7120 100644 (file)
--- 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);
               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{
 
 
             }else{