[mc] Generate a message showing the path on crash of the model-checked

[simgrid.git] / src / mc / mc_exit.h

diff --git a/src/mc/mc_exit.h b/src/mc/mc_exit.h
index 0b17cac..7889d72 100644 (file)
--- a/src/mc/mc_exit.h
+++ b/src/mc/mc_exit.h
@@ -7,6 +7,7 @@
 #define SIMGRID_EXIT_DEADLOCK 3
 #define SIMGRID_EXIT_NON_TERMINATION 4
 #define SIMGRID_EXIT_NON_DETERMINISM 5
+#define SIMGRID_PROGRAM_CRASH 6
 
 #define SIMGRID_ERROR         63