diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-06-02 06:21:45 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-02 06:21:45 -0700 |
| commit | ff22bd746f0a875b46fa02414085debbbedb0a1a (patch) | |
| tree | 33ad856f7687f5faa234093350407e62a7e0e973 /test/api | |
| parent | 4e167447af92d03e6bdd82022cca03ba538e39cc (diff) | |
| parent | 66cdf5254bc58ecff335321478e73c8c0d6df296 (diff) | |
Merge branch 'master' into issue6643issue6643
Diffstat (limited to 'test/api')
| -rw-r--r-- | test/api/smt2_compliance.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/api/smt2_compliance.cpp b/test/api/smt2_compliance.cpp index 04b366cf0..9794888b2 100644 --- a/test/api/smt2_compliance.cpp +++ b/test/api/smt2_compliance.cpp @@ -19,6 +19,7 @@ #include "api/cpp/cvc5.h" #include "options/options.h" +#include "options/options_public.h" #include "options/set_language.h" #include "parser/parser.h" #include "parser/parser_builder.h" @@ -34,8 +35,8 @@ void testGetInfo(api::Solver* solver, const char* s); int main() { Options opts; - opts.setInputLanguage(language::input::LANG_SMTLIB_V2); - opts.setOutputLanguage(language::output::LANG_SMTLIB_V2); + options::setInputLanguage(language::input::LANG_SMTLIB_V2, opts); + options::setOutputLanguage(language::output::LANG_SMTLIB_V2, opts); cout << language::SetLanguage(language::output::LANG_SMTLIB_V2); |