src/mc/mc_exit.h

   1 #ifndef SIMGRID_MC_EXIT_HPP
   2 #define SIMGRID_MC_EXIT_HPP
   3
   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
  11 #define SIMGRID_ERROR         63
  12
  13 #endif