projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
06c46bd
)
snapshot: switch back to mprotect-based snapshotting
author
Brian Norris
<banorris@uci.edu>
Thu, 21 Jun 2012 09:10:12 +0000
(
02:10
-0700)
committer
Brian Norris
<banorris@uci.edu>
Thu, 21 Jun 2012 09:10:12 +0000
(
02:10
-0700)
Subramanian accidentally switched this configuration macro in his last
commit...
snapshot.h
patch
|
blob
|
history
diff --git
a/snapshot.h
b/snapshot.h
index 629f63a0697c466cfbef348f7aefafd8e08e170e..cbbe0070fb92328f6690ba604cebbb19f8466fce 100644
(file)
--- 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