diff options
Diffstat (limited to 'src/util/options.h')
-rw-r--r-- | src/util/options.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/util/options.h b/src/util/options.h index d095d98d3..c7a730b14 100644 --- a/src/util/options.h +++ b/src/util/options.h @@ -53,6 +53,9 @@ struct CVC4_PUBLIC Options { /** Should the parser memory-map file input? */ bool memoryMap; + /** Should we strictly enforce the language standard while parsing? */ + bool strictParsing; + Options() : binary_name(), statistics(false), out(0), @@ -61,7 +64,8 @@ struct CVC4_PUBLIC Options { lang(parser::LANG_AUTO), parseOnly(false), semanticChecks(true), - memoryMap(false) + memoryMap(false), + strictParsing(false) {} };/* struct Options */ |