1 #ifndef SIMGRID_MC_EXIT_HPP
2 #define SIMGRID_MC_EXIT_HPP
4 #define SIMGRID_MC_EXIT_SUCCESS 0
5 #define SIMGRID_MC_EXIT_SAFETY 1
6 #define SIMGRID_MC_EXIT_LIVENESS 2
7 #define SIMGRID_MC_EXIT_DEADLOCK 3
8 #define SIMGRID_MC_EXIT_NON_TERMINATION 4
9 #define SIMGRID_MC_EXIT_NON_DETERMINISM 5
10 #define SIMGRID_MC_EXIT_PROGRAM_CRASH 6
12 #define SIMGRID_MC_EXIT_ERROR 63
