diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-12-09 23:14:40 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-12-09 23:14:40 +0000 |
commit | 2f121daa042c6f25a3f9ed8ece60ac5dccb11976 (patch) | |
tree | 58ee28d73e8638b100abe09e961bc3dbdf9d79d9 /src/main/main.cpp | |
parent | d697d1e91be226339a28bd7e8dce3862901cba8a (diff) |
some fixes and organizational adjustments to assert code, parsers/lexers, and build process
Diffstat (limited to 'src/main/main.cpp')
-rw-r--r-- | src/main/main.cpp | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/src/main/main.cpp b/src/main/main.cpp index d4ee8fd0d..8b59e6013 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -20,6 +20,8 @@ #include "main.h" #include "usage.h" #include "parser/parser.h" +#include "parser/smt/smt_parser.h" +#include "parser/cvc/cvc_parser.h" #include "expr/expr_manager.h" #include "smt/smt_engine.h" #include "util/command.h" @@ -82,20 +84,16 @@ int main(int argc, char *argv[]) { Warning.setStream(CVC4::null_os); } + const char* fname = inputFromStdin ? argv[firstArgIndex] : "stdin"; + // Create the parser Parser* parser; switch(options.lang) { case Options::LANG_SMTLIB: - if(inputFromStdin) - parser = new SmtParser(&exprMgr, cin); - else - parser = new SmtParser(&exprMgr, argv[firstArgIndex]); + parser = new SmtParser(&exprMgr, cin, fname); break; case Options::LANG_CVC4: - if(inputFromStdin) - parser = new CvcParser(&exprMgr, cin); - else - parser = new CvcParser(&exprMgr, argv[firstArgIndex]); + parser = new CvcParser(&exprMgr, cin, fname); break; case Options::LANG_AUTO: cerr << "Auto language detection not supported yet." << endl; |