diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-02-18 23:24:26 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-02-18 23:24:26 +0000 |
commit | 9f8f4ae9ef9d9d79973b77b6c61af4c5db034841 (patch) | |
tree | c9f2159ab870534a2cd0d887944c84d00da9b2a4 /src/util | |
parent | a377bee55e41ba9ceef3380742e536545299181c (diff) |
Adding --no-checking option to disable semantic checks in parser
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/options.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/util/options.h b/src/util/options.h index 0a1766c09..cad00a61b 100644 --- a/src/util/options.h +++ b/src/util/options.h @@ -45,8 +45,12 @@ struct Options { /** The CNF conversion */ CVC4::CnfConversion d_cnfConversion; + /** Should we exit after parsing? */ bool parseOnly; + /** Should the parser do semantic checks? */ + bool semanticChecks; + Options() : binary_name(), smtcomp_mode(false), statistics(false), @@ -55,7 +59,8 @@ struct Options { verbosity(0), lang(parser::Parser::LANG_AUTO), d_cnfConversion(CVC4::CNF_VAR_INTRODUCTION), - parseOnly(false) + parseOnly(false), + semanticChecks(true) {} };/* struct Options */ |