#include "mc_client.h"
#include "mc_replay.h"
#include "mc_safety.h"
+#include "mc_exit.h"
extern "C" {
MC_dump_stack_liveness(mc_stack);
MC_print_statistics(mc_stats);
XBT_INFO("Counter-example depth : %d", counter_example_depth);
- xbt_abort();
+ exit(SIMGRID_EXIT_LIVENESS);
}
}
MC_pre_modelcheck_liveness();
/* We're done */
+ XBT_INFO("No property violation found.");
MC_print_statistics(mc_stats);
xbt_free(mc_time);
}