diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-11 12:56:03 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-11 12:56:03 -0600 |
commit | 80930ce4f6d21b417028a5ec207ddfbd7d85e66d (patch) | |
tree | 6c616c78fc05609983d1d4742fa5d0e69b8aa22e /test/api | |
parent | 7d3198d18304eb6ea5f087a82defb4952fce31b9 (diff) |
Move symbol manager to src/expr/ (#5420)
This is required since symbol manager will use context dependent data structures (in its cpp).
This is required since classes in src/parser/ are not allowed to include private headers.
Diffstat (limited to 'test/api')
-rw-r--r-- | test/api/ouroborous.cpp | 3 | ||||
-rw-r--r-- | test/api/smt2_compliance.cpp | 3 |
2 files changed, 2 insertions, 4 deletions
diff --git a/test/api/ouroborous.cpp b/test/api/ouroborous.cpp index 5ed240233..efca53ab3 100644 --- a/test/api/ouroborous.cpp +++ b/test/api/ouroborous.cpp @@ -111,8 +111,7 @@ 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()); - std::unique_ptr<parser::SymbolManager> symman( - new parser::SymbolManager(solver.get())); + std::unique_ptr<SymbolManager> symman(new SymbolManager(solver.get())); psr = ParserBuilder(solver.get(), symman.get(), "internal-buffer") .withStringInput(declarations) .withInputLanguage(input::LANG_SMTLIB_V2) diff --git a/test/api/smt2_compliance.cpp b/test/api/smt2_compliance.cpp index 8adab327e..3738bd1b6 100644 --- a/test/api/smt2_compliance.cpp +++ b/test/api/smt2_compliance.cpp @@ -60,8 +60,7 @@ int main() void testGetInfo(api::Solver* solver, const char* s) { - std::unique_ptr<parser::SymbolManager> symman( - new parser::SymbolManager(solver)); + std::unique_ptr<SymbolManager> symman(new SymbolManager(solver)); ParserBuilder pb(solver, symman.get(), "<internal>", solver->getOptions()); Parser* p = pb.withStringInput(string("(get-info ") + s + ")").build(); |