diff options
Diffstat (limited to 'test/unit/prop/cnf_stream_white.cpp')
| -rw-r--r-- | test/unit/prop/cnf_stream_white.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/test/unit/prop/cnf_stream_white.cpp b/test/unit/prop/cnf_stream_white.cpp index 40f986d33..0529f209c 100644 --- a/test/unit/prop/cnf_stream_white.cpp +++ b/test/unit/prop/cnf_stream_white.cpp @@ -9,9 +9,9 @@ ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.\endverbatim ** - ** \brief White box testing of CVC5::prop::CnfStream. + ** \brief White box testing of cvc5::prop::CnfStream. ** - ** White box testing of CVC5::prop::CnfStream. + ** White box testing of cvc5::prop::CnfStream. **/ #include "base/check.h" @@ -28,7 +28,7 @@ #include "theory/theory.h" #include "theory/theory_engine.h" -namespace CVC5 { +namespace cvc5 { using namespace context; using namespace prop; @@ -113,7 +113,7 @@ class TestPropWhiteCnfStream : public TestSmt d_cnfContext.reset(new context::Context()); d_cnfRegistrar.reset(new prop::NullRegistrar); d_cnfStream.reset( - new CVC5::prop::CnfStream(d_satSolver.get(), + new cvc5::prop::CnfStream(d_satSolver.get(), d_cnfRegistrar.get(), d_cnfContext.get(), &d_smtEngine->getOutputManager(), @@ -271,4 +271,4 @@ TEST_F(TestPropWhiteCnfStream, ensure_literal) ASSERT_TRUE(d_cnfStream->hasLiteral(a_and_b)); } } // namespace test -} // namespace CVC5 +} // namespace cvc5 |