diff options
| -rw-r--r-- | test/api/ouroborous.cpp | 2 | ||||
| -rw-r--r-- | test/api/smt2_compliance.cpp | 2 | ||||
| -rw-r--r-- | test/unit/main/interactive_shell_black.h | 2 | ||||
| -rw-r--r-- | test/unit/parser/parser_black.h | 8 | ||||
| -rw-r--r-- | test/unit/parser/parser_builder_black.h | 2 |
5 files changed, 8 insertions, 8 deletions
diff --git a/test/api/ouroborous.cpp b/test/api/ouroborous.cpp index efca53ab3..71048ffe4 100644 --- a/test/api/ouroborous.cpp +++ b/test/api/ouroborous.cpp @@ -111,7 +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<SymbolManager> symman(new SymbolManager(solver.get())); + std::unique_ptr<SymbolManager> symman(new SymbolManager()); 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 3738bd1b6..a7e62e078 100644 --- a/test/api/smt2_compliance.cpp +++ b/test/api/smt2_compliance.cpp @@ -60,7 +60,7 @@ int main() void testGetInfo(api::Solver* solver, const char* s) { - std::unique_ptr<SymbolManager> symman(new SymbolManager(solver)); + std::unique_ptr<SymbolManager> symman(new SymbolManager()); ParserBuilder pb(solver, symman.get(), "<internal>", solver->getOptions()); Parser* p = pb.withStringInput(string("(get-info ") + s + ")").build(); diff --git a/test/unit/main/interactive_shell_black.h b/test/unit/main/interactive_shell_black.h index df6a79bd8..7a003c6c6 100644 --- a/test/unit/main/interactive_shell_black.h +++ b/test/unit/main/interactive_shell_black.h @@ -45,7 +45,7 @@ class InteractiveShellBlack : public CxxTest::TestSuite d_options.set(options::inputLanguage, language::input::LANG_CVC4); d_symman.reset(nullptr); d_solver.reset(new api::Solver(&d_options)); - d_symman.reset(new SymbolManager(d_solver.get())); + d_symman.reset(new SymbolManager()); } void tearDown() override diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h index ef8f2e3cf..768fd8d6a 100644 --- a/test/unit/parser/parser_black.h +++ b/test/unit/parser/parser_black.h @@ -70,7 +70,7 @@ class ParserBlack // Debug.on("parser-extra"); // cerr << "Testing good input: <<" << goodInput << ">>" << endl; // istringstream stream(goodInputs[i]); - d_symman.reset(new SymbolManager(d_solver.get())); + d_symman.reset(new SymbolManager()); Parser* parser = ParserBuilder(d_solver.get(), d_symman.get(), "test") .withStringInput(goodInput) .withOptions(d_options) @@ -102,7 +102,7 @@ class ParserBlack // cerr << "Testing bad input: '" << badInput << "'\n"; // Debug.on("parser"); - d_symman.reset(new SymbolManager(d_solver.get())); + d_symman.reset(new SymbolManager()); Parser* parser = ParserBuilder(d_solver.get(), d_symman.get(), "test") .withStringInput(badInput) .withOptions(d_options) @@ -134,7 +134,7 @@ class ParserBlack // Debug.on("parser"); // istringstream stream(context + goodBooleanExprs[i]); - d_symman.reset(new SymbolManager(d_solver.get())); + d_symman.reset(new SymbolManager()); Parser* parser = ParserBuilder(d_solver.get(), d_symman.get(), "test") .withStringInput(goodExpr) .withOptions(d_options) @@ -182,7 +182,7 @@ class ParserBlack // Debug.on("parser-extra"); // cout << "Testing bad expr: '" << badExpr << "'\n"; - d_symman.reset(new SymbolManager(d_solver.get())); + d_symman.reset(new SymbolManager()); Parser* parser = ParserBuilder(d_solver.get(), d_symman.get(), "test") .withStringInput(badExpr) .withOptions(d_options) diff --git a/test/unit/parser/parser_builder_black.h b/test/unit/parser/parser_builder_black.h index c101542d0..53ba78ed6 100644 --- a/test/unit/parser/parser_builder_black.h +++ b/test/unit/parser/parser_builder_black.h @@ -43,7 +43,7 @@ class ParserBuilderBlack : public CxxTest::TestSuite // ensure the old symbol manager is deleted d_symman.reset(nullptr); d_solver.reset(new api::Solver()); - d_symman.reset(new SymbolManager(d_solver.get())); + d_symman.reset(new SymbolManager()); } void tearDown() override {} |