diff options
Diffstat (limited to 'test/api')
-rw-r--r-- | test/api/ouroborous.cpp | 4 | ||||
-rw-r--r-- | test/api/smt2_compliance.cpp | 6 |
2 files changed, 7 insertions, 3 deletions
diff --git a/test/api/ouroborous.cpp b/test/api/ouroborous.cpp index 5ddc3ec26..5ed240233 100644 --- a/test/api/ouroborous.cpp +++ b/test/api/ouroborous.cpp @@ -111,7 +111,9 @@ void runTestString(std::string instr, InputLanguage instrlang = input::LANG_SMTL int runTest() { std::unique_ptr<api::Solver> solver = std::unique_ptr<api::Solver>(new api::Solver()); - psr = ParserBuilder(solver.get(), "internal-buffer") + std::unique_ptr<parser::SymbolManager> symman( + new parser::SymbolManager(solver.get())); + psr = ParserBuilder(solver.get(), symman.get(), "internal-buffer") .withStringInput(declarations) .withInputLanguage(input::LANG_SMTLIB_V2) .build(); diff --git a/test/api/smt2_compliance.cpp b/test/api/smt2_compliance.cpp index e5781cfaa..7f9035636 100644 --- a/test/api/smt2_compliance.cpp +++ b/test/api/smt2_compliance.cpp @@ -43,7 +43,6 @@ int main() std::unique_ptr<api::Solver> solver = std::unique_ptr<api::Solver>(new api::Solver(&opts)); - testGetInfo(solver.get(), ":error-behavior"); testGetInfo(solver.get(), ":name"); testGetInfo(solver.get(), ":authors"); @@ -61,7 +60,10 @@ int main() void testGetInfo(api::Solver* solver, const char* s) { - ParserBuilder pb(solver, "<internal>", solver->getOptions()); + std::unique_ptr<parser::SymbolManager> symman( + new parser::SymbolManager(solver)); + + ParserBuilder pb(solver, symman.get(), "<internal>", solver->getOptions()); Parser* p = pb.withStringInput(string("(get-info ") + s + ")").build(); assert(p != NULL); Command* c = p->nextCommand(); |