diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-01 09:56:14 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-01 16:56:14 +0000 |
commit | 05a53a2ac405bcd18a84024247145f161809c3b0 (patch) | |
tree | 34241c0a82f79d717ddbfbb0c294f9a09c7edb0c /test/unit/parser | |
parent | afaf4413775ff7d6054a5893f1397ad908e0773c (diff) |
Rename namespace CVC5 to cvc5. (#6258)
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 827d7dd84..3c6d8b820 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 CVC5::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 CVC5::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 CVC5 { +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 CVC5::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<CVC5::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 CVC5 +} // namespace cvc5 diff --git a/test/unit/parser/parser_builder_black.cpp b/test/unit/parser/parser_builder_black.cpp index 3ebd11b83..a83932b2f 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 CVC5::parser::ParserBuilder. + ** \brief Black box testing of cvc5::parser::ParserBuilder. ** - ** Black box testing of CVC5::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 CVC5 { +namespace cvc5 { using namespace parser; using namespace language::input; @@ -134,4 +134,4 @@ TEST_F(TestParseBlackParserBuilder, true_stream_input) } } // namespace test -} // namespace CVC5 +} // namespace cvc5 |