Rename namespace CVC4 to CVC5. (#6249)

7 files changed, 30 insertions, 30 deletions

diff --git a/test/unit/context/cdhashmap_black.cpp b/test/unit/context/cdhashmap_black.cpp
index a5788a585..51d76070a 100644
--- a/test/unit/context/cdhashmap_black.cpp
+++ b/test/unit/context/cdhashmap_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::context::CDMap<>.
+ ** \brief Black box testing of CVC5::context::CDMap<>.
  **
- ** Black box testing of CVC4::context::CDMap<>.
+ ** Black box testing of CVC5::context::CDMap<>.
  **/
 
 #include <map>
@@ -21,11 +21,11 @@
 #include "context/cdlist.h"
 #include "test_context.h"
 
-namespace CVC4 {
+namespace CVC5 {
 namespace test {
 
-using CVC4::context::CDHashMap;
-using CVC4::context::Context;
+using CVC5::context::CDHashMap;
+using CVC5::context::Context;
 
 class TestContextBlackCDHashMap : public TestContext
 {
@@ -203,4 +203,4 @@ TEST_F(TestContextBlackCDHashMap, insert_at_context_level_zero)
   ASSERT_TRUE(elements_are(map, {{3, 4}, {23, 317}}));
 }
 }  // namespace test
-}  // namespace CVC4
+}  // namespace CVC5
diff --git a/test/unit/context/cdhashmap_white.cpp b/test/unit/context/cdhashmap_white.cpp
index 91ddc726d..06bcd8d46 100644
--- a/test/unit/context/cdhashmap_white.cpp
+++ b/test/unit/context/cdhashmap_white.cpp
@@ -9,16 +9,16 @@
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **
- ** \brief White box testing of CVC4::context::CDMap<>.
+ ** \brief White box testing of CVC5::context::CDMap<>.
  **
- ** White box testing of CVC4::context::CDMap<>.
+ ** White box testing of CVC5::context::CDMap<>.
  **/
 
 #include "base/check.h"
 #include "context/cdhashmap.h"
 #include "test_context.h"
 
-namespace CVC4 {
+namespace CVC5 {
 
 using namespace context;
 
@@ -44,4 +44,4 @@ TEST_F(TestContextWhiteCDHashMap, unreachable_save_and_restore)
 }
 
 }  // namespace test
-}  // namespace CVC4
+}  // namespace CVC5
diff --git a/test/unit/context/cdlist_black.cpp b/test/unit/context/cdlist_black.cpp
index 2339962ac..e903492ee 100644
--- a/test/unit/context/cdlist_black.cpp
+++ b/test/unit/context/cdlist_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::context::CDList<>.
+ ** \brief Black box testing of CVC5::context::CDList<>.
  **
- ** Black box testing of CVC4::context::CDList<>.
+ ** Black box testing of CVC5::context::CDList<>.
  **/
 
 #include <limits.h>
@@ -24,7 +24,7 @@
 #include "memory.h"
 #include "test_context.h"
 
-namespace CVC4 {
+namespace CVC5 {
 
 using namespace context;
 
@@ -163,4 +163,4 @@ TEST_F(TestContextBlackCDList, pop_below_level_created)
   list.push_back(42);
 }
 }  // namespace test
-}  // namespace CVC4
+}  // namespace CVC5
diff --git a/test/unit/context/cdo_black.cpp b/test/unit/context/cdo_black.cpp
index 16d7949e0..033e60f57 100644
--- a/test/unit/context/cdo_black.cpp
+++ b/test/unit/context/cdo_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::context::CDO<>.
+ ** \brief Black box testing of CVC5::context::CDO<>.
  **
- ** Black box testing of CVC4::context::CDO<>.
+ ** Black box testing of CVC5::context::CDO<>.
  **/
 
 #include <iostream>
@@ -22,7 +22,7 @@
 #include "context/cdo.h"
 #include "test_context.h"
 
-namespace CVC4 {
+namespace CVC5 {
 
 using namespace context;
 
@@ -48,4 +48,4 @@ TEST_F(TestContextBlackCDO, cdo)
 }
 
 }  // namespace test
-}  // namespace CVC4
+}  // namespace CVC5
diff --git a/test/unit/context/context_black.cpp b/test/unit/context/context_black.cpp
index 59b723055..7ec7ef6c8 100644
--- a/test/unit/context/context_black.cpp
+++ b/test/unit/context/context_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::context::Context.
+ ** \brief Black box testing of CVC5::context::Context.
  **
- ** Black box testing of CVC4::context::Context.
+ ** Black box testing of CVC5::context::Context.
  **/
 
 #include <iostream>
@@ -22,7 +22,7 @@
 #include "context/cdo.h"
 #include "test_context.h"
 
-namespace CVC4 {
+namespace CVC5 {
 
 using namespace context;
 
@@ -241,4 +241,4 @@ TEST_F(TestContextBlack, top_scope_context_obj)
 #endif
 
 }  // namespace test
-}  // namespace CVC4
+}  // namespace CVC5
diff --git a/test/unit/context/context_mm_black.cpp b/test/unit/context/context_mm_black.cpp
index b0259e71e..2dbec57b6 100644
--- a/test/unit/context/context_mm_black.cpp
+++ b/test/unit/context/context_mm_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::context::ContextMemoryManager.
+ ** \brief Black box testing of CVC5::context::ContextMemoryManager.
  **
- ** Black box testing of CVC4::context::ContextMemoryManager.
+ ** Black box testing of CVC5::context::ContextMemoryManager.
  **/
 
 #include <cstring>
@@ -21,7 +21,7 @@
 #include "context/context_mm.h"
 #include "test.h"
 
-namespace CVC4 {
+namespace CVC5 {
 
 using namespace context;
 
@@ -104,4 +104,4 @@ TEST_F(TestContextBlackMM, push_pop)
 }
 
 }  // namespace test
-}  // namespace CVC4
+}  // namespace CVC5
diff --git a/test/unit/context/context_white.cpp b/test/unit/context/context_white.cpp
index 9d8ff84c7..6ec7ea3a1 100644
--- a/test/unit/context/context_white.cpp
+++ b/test/unit/context/context_white.cpp
@@ -9,16 +9,16 @@
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **
- ** \brief White box testing of CVC4::context::Context.
+ ** \brief White box testing of CVC5::context::Context.
  **
- ** White box testing of CVC4::context::Context.
+ ** White box testing of CVC5::context::Context.
  **/
 
 #include "base/check.h"
 #include "context/cdo.h"
 #include "test_context.h"
 
-namespace CVC4 {
+namespace CVC5 {
 
 using namespace context;
 
@@ -180,4 +180,4 @@ TEST_F(TestContextWhite, simple)
   ASSERT_EQ(c.d_ppContextObjPrev, &s->d_pContextObjList);
 }
 }  // namespace test
-}  // namespace CVC4
+}  // namespace CVC5