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

1 files changed, 5 insertions, 1 deletions

diff --git a/src/util/options.h b/src/util/options.h
index d2b19a20b..676dc0059 100644
--- a/src/util/options.h
+++ b/src/util/options.h
@@ -51,6 +51,9 @@ struct CVC4_PUBLIC Options {
   /** Should the parser do semantic checks? */
   bool semanticChecks;
 
+  /** Should the parser memory-map file input? */
+  bool memoryMap;
+
   Options() : binary_name(),
               smtcomp_mode(false),
               statistics(false),
@@ -60,7 +63,8 @@ struct CVC4_PUBLIC Options {
               lang(parser::Parser::LANG_AUTO),
               d_cnfConversion(CVC4::CNF_VAR_INTRODUCTION),
               parseOnly(false),
-              semanticChecks(true)
+              semanticChecks(true),
+              memoryMap(false)
   {}
 };/* struct Options */