snapshot: rename USE_CHECKPOINTING to USE_MPROTECT_SNAPSHOT

[model-checker.git] / snapshot.h

diff --git a/snapshot.h b/snapshot.h
index 819ea0a41b79ca25782b50e9f109df68b35dc041..53f97ba35c7020c2911b2cd8621f6dbfbe80c0cf 100644 (file)
--- a/snapshot.h
+++ b/snapshot.h
@@ -1,7 +1,11 @@
 #ifndef _SNAPSHOT_H
 #define _SNAPSHOT_H
 #define PAGESIZE 4096
-#define USE_CHECKPOINTING 1
+
+/* If USE_MPROTECT_SNAPSHOT=1, then snapshot by using mmap() and mprotect()
+   If USE_MPROTECT_SNAPSHOT=0, then snapshot by using fork() */
+#define USE_MPROTECT_SNAPSHOT 1
+
 /* Size of signal stack */
 #define SIGSTACKSIZE 16384