test: rmwprog: add MODEL_ASSERT
[model-checker.git] / snapshot.h
1 /** @file snapshot.h
2  *      @brief Snapshotting interface header file.
3  */
4
5 #ifndef _SNAPSHOT_H
6 #define _SNAPSHOT_H
7
8 #include "snapshot-interface.h"
9 #include "config.h"
10 #include "mymemory.h"
11
12 void snapshot_add_memory_region(void *ptr, unsigned int numPages);
13 snapshot_id take_snapshot();
14 void snapshot_roll_back(snapshot_id theSnapShot);
15
16 #if !USE_MPROTECT_SNAPSHOT
17 mspace create_shared_mspace();
18 #endif
19
20 #endif