model-checker : create core dump without termination for each acceptance pair

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

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index d9b9f7f..519e708 100644 (file)
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -280,5 +280,9 @@ extern xbt_fifo_t mc_stack_safety;
 extern int _surf_mc_checkpoint;
 extern char* _surf_mc_property_file;
 
+/****** Core dump ******/
+
+int create_dump(int pair);
+
 
 #endif