diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-02-16 19:13:35 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-02-16 19:13:35 +0000 |
| commit | be1edc45cd31ea61ebb80641ae90c96c46a532ea (patch) | |
| tree | dd7390668abe37248ee390db66f4c8bf488a7e0c /src/util | |
| parent | 094ffd30bf9f512d09e623d40329d4760852310b (diff) | |
Adding --parse-only option
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/options.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/util/options.h b/src/util/options.h index f3bc52d34..0a1766c09 100644 --- a/src/util/options.h +++ b/src/util/options.h @@ -45,6 +45,8 @@ struct Options { /** The CNF conversion */ CVC4::CnfConversion d_cnfConversion; + bool parseOnly; + Options() : binary_name(), smtcomp_mode(false), statistics(false), @@ -52,7 +54,8 @@ struct Options { err(0), verbosity(0), lang(parser::Parser::LANG_AUTO), - d_cnfConversion(CVC4::CNF_VAR_INTRODUCTION) + d_cnfConversion(CVC4::CNF_VAR_INTRODUCTION), + parseOnly(false) {} };/* struct Options */ |