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
11 #define SIMGRID_ERROR 63