projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
mspace_malloc will call into mmap if it runs out of memory... this does not play...
[model-checker.git]
/
main.cc
diff --git
a/main.cc
b/main.cc
index 26d8beb79d52f8d09a9d16b97f96c79972941822..5b03c85c2c11f82ef308cc08464330792f617b53 100644
(file)
--- a/
main.cc
+++ b/
main.cc
@@
-117,5
+117,5
@@
int main(int argc, char ** argv) {
main_argv = argv;
/* Let's jump in quickly and start running stuff */
main_argv = argv;
/* Let's jump in quickly and start running stuff */
- initSnapShotLibrary(10000, 1024, 1024,
1
000, &real_main);
+ initSnapShotLibrary(10000, 1024, 1024,
4
000, &real_main);
}
}