-/* Copyright (c) 2011-2014. The SimGrid Team.
+/* Copyright (c) 2011-2015. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
#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);
}
}