model-checker : new function MC_take_snapshot_to_restore_liveness for the initial...

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

diff --git a/src/mc/private.h b/src/mc/private.h
index a35812e..0ee7413 100644 (file)
--- a/src/mc/private.h
+++ b/src/mc/private.h
@@ -37,6 +37,7 @@ typedef struct s_mc_snapshot{
 
 void MC_take_snapshot(mc_snapshot_t);
 void MC_take_snapshot_liveness(mc_snapshot_t s, char *prgm);
 
 void MC_take_snapshot(mc_snapshot_t);
 void MC_take_snapshot_liveness(mc_snapshot_t s, char *prgm);

+void MC_take_snapshot_to_restore_liveness(mc_snapshot_t s, char *prgm);

 void MC_restore_snapshot(mc_snapshot_t);
 void MC_free_snapshot(mc_snapshot_t);
 
 void MC_restore_snapshot(mc_snapshot_t);
 void MC_free_snapshot(mc_snapshot_t);