From: Brian Norris <banorris@uci.edu>
Date: Thu, 21 Jun 2012 09:10:12 +0000 (-0700)
Subject: snapshot: switch back to mprotect-based snapshotting
X-Git-Tag: pldi2013~391^2~2^2
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=11265e873a6618952820f76da4d702a6485b4678

snapshot: switch back to mprotect-based snapshotting

Subramanian accidentally switched this configuration macro in his last
commit...
---

diff --git a/snapshot.h b/snapshot.h
index 629f63a..cbbe007 100644
--- a/snapshot.h
+++ b/snapshot.h
@@ -11,7 +11,7 @@
 
 /* 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 0
+#define USE_MPROTECT_SNAPSHOT 1
 
 /* Size of signal stack */
 #define SIGSTACKSIZE 32768