diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-31 15:23:17 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-31 22:23:17 +0000 |
commit | a1466978fbc328507406d4a121dab4d1a1047e1d (patch) | |
tree | 12b40f161bb4d7a6ee40c20c78a15d6cda3c1995 /test/unit/parser | |
parent | f9a9af855fb65804ff0b36e764ccd9d0fa9f87f8 (diff) |
Rename namespace CVC4 to CVC5. (#6249)
Diffstat (limited to 'test/unit/parser')
-rw-r--r-- | test/unit/parser/parser_black.cpp | 12 | ||||
-rw-r--r-- | test/unit/parser/parser_builder_black.cpp | 8 |
2 files changed, 10 insertions, 10 deletions
diff --git a/test/unit/parser/parser_black.cpp b/test/unit/parser/parser_black.cpp index 87556d53d..827d7dd84 100644 --- a/test/unit/parser/parser_black.cpp +++ b/test/unit/parser/parser_black.cpp @@ -9,10 +9,10 @@ ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim ** - ** \brief Black box testing of CVC4::parser::Parser for CVC and SMT-LIBv2 + ** \brief Black box testing of CVC5::parser::Parser for CVC and SMT-LIBv2 ** inputs. ** - ** Black box testing of CVC4::parser::Parser for CVC and SMT-LIbv2 inputs. + ** Black box testing of CVC5::parser::Parser for CVC and SMT-LIbv2 inputs. **/ #include <sstream> @@ -29,7 +29,7 @@ #include "smt/command.h" #include "test.h" -namespace CVC4 { +namespace CVC5 { using namespace parser; using namespace language::input; @@ -48,7 +48,7 @@ class TestParserBlackParser : public TestInternal TestInternal::SetUp(); d_options.set(options::parseOnly, true); d_symman.reset(nullptr); - d_solver.reset(new CVC4::api::Solver(&d_options)); + d_solver.reset(new CVC5::api::Solver(&d_options)); } void TearDown() override @@ -186,7 +186,7 @@ class TestParserBlackParser : public TestInternal Options d_options; InputLanguage d_lang; - std::unique_ptr<CVC4::api::Solver> d_solver; + std::unique_ptr<CVC5::api::Solver> d_solver; std::unique_ptr<SymbolManager> d_symman; }; @@ -392,4 +392,4 @@ TEST_F(TestParserBlackSmt2Parser, bad_exprs) #endif } } // namespace test -} // namespace CVC4 +} // namespace CVC5 diff --git a/test/unit/parser/parser_builder_black.cpp b/test/unit/parser/parser_builder_black.cpp index 08b16dd07..3ebd11b83 100644 --- a/test/unit/parser/parser_builder_black.cpp +++ b/test/unit/parser/parser_builder_black.cpp @@ -9,9 +9,9 @@ ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim ** - ** \brief Black box testing of CVC4::parser::ParserBuilder. + ** \brief Black box testing of CVC5::parser::ParserBuilder. ** - ** Black box testing of CVC4::parser::ParserBuilder. + ** Black box testing of CVC5::parser::ParserBuilder. **/ #include <stdio.h> @@ -29,7 +29,7 @@ #include "parser/parser_builder.h" #include "test_api.h" -namespace CVC4 { +namespace CVC5 { using namespace parser; using namespace language::input; @@ -134,4 +134,4 @@ TEST_F(TestParseBlackParserBuilder, true_stream_input) } } // namespace test -} // namespace CVC4 +} // namespace CVC5 |