diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-06 21:11:43 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-06 21:11:43 +0000 |
| commit | d292e8c233305c402da65a1cf97668881f7b099c (patch) | |
| tree | 995ba2c65c61c0e3a7038d1eeae95c8b9efea599 /src/util | |
| parent | f4643b0e2f5ca233dcfeb91fbb424b8caec836e6 (diff) | |
Adding --strict-parsing option
Diffstat (limited to 'src/util')
| -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 */ |