1 #ifndef SIMGRID_MC_EXIT_HPP
2 #define SIMGRID_MC_EXIT_HPP
4 #define SIMGRID_EXIT_SUCCESS 0
5 #define SIMGRID_EXIT_SAFETY 1
6 #define SIMGRID_EXIT_LIVENESS 2
7 #define SIMGRID_EXIT_DEADLOCK 3
8 #define SIMGRID_EXIT_NON_TERMINATION 4
9 #define SIMGRID_EXIT_NON_DETERMINISM 5
10 #define SIMGRID_PROGRAM_CRASH 6
12 #define SIMGRID_ERROR 63