model-check : show stack for acceptance cycle

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

diff --git a/src/mc/private.h b/src/mc/private.h
index e98ed9ad5eea4839826a807bd20d265557f73ab5..0c151dd4c6264b239d71c1ced68a079403e3f309 100644 (file)
--- a/src/mc/private.h
+++ b/src/mc/private.h
@@ -199,5 +199,7 @@ void set_pair_visited(mc_state_t gs, xbt_state_t as, int search_cycle);
 int visited(mc_state_t gs, xbt_state_t as, int search_cycle);
 int reached(mc_state_t gs, xbt_state_t as);
 void set_pair_reached(mc_state_t gs, xbt_state_t as);
+void MC_show_snapshot_stack(xbt_fifo_t stack);
+void MC_dump_snapshot_stack(xbt_fifo_t stack);
 
 #endif