From e56c41f47d43103a6e8bf744e12229ed6e5a8f19 Mon Sep 17 00:00:00 2001
From: "Christopher L. Conway" <christopherleeconway@gmail.com>
Date: Sat, 27 Feb 2010 18:34:44 +0000
Subject: Adding --mmap option to use memory-mapped file input, which provides
 a marginal improvement (<5%) on big benchmarks.

---
 src/main/usage.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/main/usage.h')

diff --git a/src/main/usage.h b/src/main/usage.h
index 6c44fef5a..3a609d2ec 100644
--- a/src/main/usage.h
+++ b/src/main/usage.h
@@ -37,6 +37,8 @@ CVC4 options:\n\
    --stats         give statistics on exit\n\
    --segv-nospin   (debug builds only) don't spin on segfault waiting for gdb\n\
    --parse-only    exit after parsing input\n\
+   --no-checking   disable semantic checks in the parser\n\
+   --mmap          memory map file input\n\
    --show-config   show CVC4 static configuration\n\
 ";
 
-- 
cgit v1.2.3