fix memory leak
[model-checker.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
9 typedef unsigned int snapshot_id;
10
11 typedef void (*VoidFuncPtr)();
12 void snapshot_system_init(unsigned int numbackingpages,
13                 unsigned int numsnapshots, unsigned int nummemoryregions,
14                 unsigned int numheappages, VoidFuncPtr entryPoint);
15
16 void snapshot_stack_init();
17 void snapshot_record(int seq_index);
18 int snapshot_backtrack_before(int seq_index);
19
20 #endif