user_main: pass remaining arguments to the user program
[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
11 void addMemoryRegionToSnapShot( void * ptr, unsigned int numPages );
12 snapshot_id takeSnapshot( );
13 void rollBack( snapshot_id theSnapShot );
14
15 #if !USE_MPROTECT_SNAPSHOT
16 void createSharedMemory();
17 #endif
18
19 #endif