snapshot: remove time information

[model-checker.git] / snapshot.h

diff --git a/snapshot.h b/snapshot.h
index c737dece2f1a7d5390c224e56d41144ae6c420c2..819ea0a41b79ca25782b50e9f109df68b35dc041 100644 (file)
--- a/snapshot.h
+++ b/snapshot.h
@@ -2,10 +2,13 @@
 #define _SNAPSHOT_H
 #define PAGESIZE 4096
 #define USE_CHECKPOINTING 1
-#define DEBUG 1
+/* Size of signal stack */
+#define SIGSTACKSIZE 16384
+
+
 typedef unsigned int snapshot_id;
 typedef void (*MyFuncPtr)();
-void initSnapShotLibrary(unsigned int numbackingpages, unsigned int numsnapshots, unsigned int nummemoryregions, MyFuncPtr entryPoint);
+void initSnapShotLibrary(unsigned int numbackingpages, unsigned int numsnapshots, unsigned int nummemoryregions, unsigned int numheappages, MyFuncPtr entryPoint);
 
 void addMemoryRegionToSnapShot( void * ptr, unsigned int numPages );