antlr parser for the cvc4 language (boolean only)

yet to be finalized, it should work as expected

1 files changed, 10 insertions, 1 deletions

diff --git a/src/main/main.cpp b/src/main/main.cpp
index b7833e3ca..4c3a21811 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -65,8 +65,17 @@ int main(int argc, char *argv[]) {
       else
         parser = new SmtParser(&exprMgr, argv[firstArgIndex]);
       break;
+    case Options::LANG_CVC4:
+      if(inputFromStdin)
+        parser = new CvcParser(&exprMgr, cin);
+      else
+        parser = new CvcParser(&exprMgr, argv[firstArgIndex]);
+      break;
+    case Options::LANG_AUTO:
+      cerr << "Auto language detection not supported yet." << endl;
+      abort();
     default:
-      cerr << "Language" << options.lang << "not supported yet." << endl;
+      cerr << "Unknown language" << endl;
       abort();
     }