Add file
[c11tester.git] / snapshot-interface.h
1 /**
2  * @file snapshot-interface.h
3  * @brief C interface layer on top of snapshotting system
4  */
5
6 #ifndef __SNAPINTERFACE_H
7 #define __SNAPINTERFACE_H
8 #include <ucontext.h>
9
10 typedef unsigned int snapshot_id;
11 typedef void (*VoidFuncPtr)();
12
13 void snapshot_system_init(unsigned int numheappages);
14 void startExecution();
15 snapshot_id take_snapshot();
16 void snapshot_roll_back(snapshot_id theSnapShot);
17
18
19 #endif