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 1fb8fbf..f1e5e3d 100644 (file)
--- 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);
                 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{