diff options
Diffstat (limited to 'src/util/options.h')
| -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 */ |