1 /* Copyright (c) 2015-2018. The SimGrid Team. All rights reserved. */
3 /* This program is free software; you can redistribute it and/or modify it
4 * under the terms of the license (GNU LGPL) which comes with this package. */
6 #ifndef SIMGRID_MC_EXIT_HPP
7 #define SIMGRID_MC_EXIT_HPP
10 #define SIMGRID_MC_EXIT_SUCCESS 0
11 #define SIMGRID_MC_EXIT_SAFETY 1
12 #define SIMGRID_MC_EXIT_LIVENESS 2
13 #define SIMGRID_MC_EXIT_DEADLOCK 3
14 #define SIMGRID_MC_EXIT_NON_TERMINATION 4
15 #define SIMGRID_MC_EXIT_NON_DETERMINISM 5
16 #define SIMGRID_MC_EXIT_PROGRAM_CRASH 6
18 #define SIMGRID_MC_EXIT_ERROR 63
22 class XBT_PUBLIC DeadlockError {
24 class XBT_PUBLIC TerminationError {
26 class XBT_PUBLIC LivenessError {