Move options parsing code to main (#7054)

This PR moves the code responsible for parsing the command line to the main folder. Note that the options themselves, and converting strings to the options proper types, calling predicates etc, stays in libcvc5. The PR also slightly refactors the options code to get rid of the assign_* functions.

1 files changed, 4 insertions, 7 deletions

diff --git a/test/unit/node/node_black.cpp b/test/unit/node/node_black.cpp
index 787dd77ca..45801798b 100644
--- a/test/unit/node/node_black.cpp
+++ b/test/unit/node/node_black.cpp
@@ -27,6 +27,8 @@
 #include "expr/node_manager.h"
 #include "expr/node_value.h"
 #include "expr/skolem_manager.h"
+#include "options/base_options.h"
+#include "options/language.h"
 #include "options/options_public.h"
 #include "smt/smt_engine.h"
 #include "test_node.h"
@@ -65,13 +67,8 @@ class TestNodeBlackNode : public TestNode
     TestNode::SetUp();
     // setup an SMT engine so that options are in scope
     Options opts;
-    char* argv[2];
-    argv[0] = strdup("");
-    argv[1] = strdup("--output-lang=ast");
-    std::string progName;
-    options::parse(opts, 2, argv, progName);
-    free(argv[0]);
-    free(argv[1]);
+    opts.base.outputLanguage = OutputLanguage::LANG_AST;
+    opts.base.outputLanguageWasSetByUser = true;
     d_smt.reset(new SmtEngine(d_nodeManager.get(), &opts));
   }