run.sh: don't touch my run script subramanian

[model-checker.git] / snapshot.h

diff --git a/snapshot.h b/snapshot.h
index f0e36f089b6e8ef145352765d296ba2aca05629a..a0f2757dc19496ab7d1155bfba983954127d7b14 100644 (file)
--- a/snapshot.h
+++ b/snapshot.h
@@ -2,12 +2,12 @@
 #define _SNAPSHOT_H
 #define PAGESIZE 4096
 #define USE_CHECKPOINTING 1
-#define DEBUG 1
+
 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 numBytes );
+void addMemoryRegionToSnapShot( void * ptr, unsigned int numPages );
 
 snapshot_id takeSnapshot( );