diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-06-04 17:14:04 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-06-04 17:14:04 +0000 |
commit | cd8b317b498c6c383c7571cd0939ff5044ad8932 (patch) | |
tree | 0913cd2f5c4ba6361513fb7f2e8405f4a2fa6028 /src/parser/parser_builder.cpp | |
parent | f780dd882fc343cef668d5cd9eed8f515d0e70ed (diff) |
Enabling RDL/IDL in SMT v1 and adding some simple tests
Diffstat (limited to 'src/parser/parser_builder.cpp')
-rw-r--r-- | src/parser/parser_builder.cpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/parser/parser_builder.cpp b/src/parser/parser_builder.cpp index a9b3c461d..4e4b0309f 100644 --- a/src/parser/parser_builder.cpp +++ b/src/parser/parser_builder.cpp @@ -19,6 +19,7 @@ #include "expr/expr_manager.h" #include "parser/input.h" #include "parser/parser.h" +#include "parser/smt/smt.h" #include "parser/smt2/smt2.h" namespace CVC4 { @@ -64,7 +65,7 @@ ParserBuilder::ParserBuilder(ExprManager& exprManager, const std::string& filena } Parser *ParserBuilder::build() throw (InputStreamException,AssertionException) { - Input *input; + Input *input = NULL; switch( d_inputType ) { case FILE_INPUT: input = Input::newFileInput(d_lang,d_filename,d_mmap); @@ -77,8 +78,12 @@ Parser *ParserBuilder::build() throw (InputStreamException,AssertionException) { case STRING_INPUT: input = Input::newStringInput(d_lang,d_stringInput,d_filename); break; + default: + Unreachable(); } switch(d_lang) { + case LANG_SMTLIB: + return new Smt(&d_exprManager, input, d_strictMode); case LANG_SMTLIB_V2: return new Smt2(&d_exprManager, input, d_strictMode); default: |