diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-08-04 11:35:41 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-04 18:35:41 +0000 |
commit | cc9155e74a4c7fbbf66f736e0d6f67499329ba69 (patch) | |
tree | 7285753f9645683bc5190856bf61f250a9f62225 /test/unit | |
parent | 3f2e127061ee03db1ba8ff56d9dfb42fbe9d60b1 (diff) |
Refactor managed streams (#6934)
This PR introduces a new ManagedStream class that replaces the previous ManagedOstream. It allows to directly store the (wrapped) stream objects in the options. Handling the stream options is moved from the options manager to option predicates and the different options for input and output streams are combined into a single one.
Some associated utilities (open_ostream.h and update_ostream.h) are now obsolete and thus removed.
Diffstat (limited to 'test/unit')
-rw-r--r-- | test/unit/main/interactive_shell_black.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/test/unit/main/interactive_shell_black.cpp b/test/unit/main/interactive_shell_black.cpp index 9c842adac..7b5f39f48 100644 --- a/test/unit/main/interactive_shell_black.cpp +++ b/test/unit/main/interactive_shell_black.cpp @@ -44,8 +44,8 @@ class TestMainBlackInteractiveShell : public TestInternal d_stdout = std::cout.rdbuf(); std::cout.rdbuf(d_sout->rdbuf()); - d_options.base.inputLanguage = language::input::LANG_CVC; - d_solver.reset(new cvc5::api::Solver(&d_options)); + d_solver.reset(new cvc5::api::Solver()); + d_solver->setOption("input-language", "cvc"); d_symman.reset(new SymbolManager(d_solver.get())); } @@ -87,7 +87,6 @@ class TestMainBlackInteractiveShell : public TestInternal std::unique_ptr<std::stringstream> d_sout; std::unique_ptr<SymbolManager> d_symman; std::unique_ptr<cvc5::api::Solver> d_solver; - Options d_options; std::streambuf* d_stdin; std::streambuf* d_stdout; |