Adding --mmap option to use memory-mapped file input, which provides a marginal improvement (<5%) on big benchmarks.

1 files changed, 2 insertions, 0 deletions

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\
 ";