clockvector: bugfix - fixup vector initialization, size

[model-checker.git] / snapshot.h

diff --git a/snapshot.h b/snapshot.h
index 16d9cd76a30dd3e6d99874b2fb565813b31241b1..819ea0a41b79ca25782b50e9f109df68b35dc041 100644 (file)
--- a/snapshot.h
+++ b/snapshot.h
@@ -2,10 +2,13 @@
 #define _SNAPSHOT_H
 #define PAGESIZE 4096
 #define USE_CHECKPOINTING 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 );