Rename occurrences of CVC4 to CVC5. (#6351)

This renames everything but GitHub links and build system related
macros. Switching the build system to cvc5 will be the last step in the
renaming process.

2 files changed, 6 insertions, 6 deletions

diff --git a/test/unit/util/boolean_simplification_black.cpp b/test/unit/util/boolean_simplification_black.cpp
index 4a3afb281..1078a0e4e 100644
--- a/test/unit/util/boolean_simplification_black.cpp
+++ b/test/unit/util/boolean_simplification_black.cpp
@@ -72,7 +72,7 @@ class TestUtilBlackBooleanSimplification : public TestNode
     Assert(BooleanSimplification::DUPLICATE_REMOVAL_THRESHOLD >= 10);
 
     std::cout << expr::ExprSetDepth(-1)
-              << language::SetLanguage(language::output::LANG_CVC4);
+              << language::SetLanguage(language::output::LANG_CVC);
   }
 
   // assert equality up to commuting children
diff --git a/test/unit/util/output_black.cpp b/test/unit/util/output_black.cpp
index 8e9595009..37937769c 100644
--- a/test/unit/util/output_black.cpp
+++ b/test/unit/util/output_black.cpp
@@ -69,7 +69,7 @@ TEST_F(TestUtilBlackOutput, output)
   Debug.on("foo");
   Debug("foo") << "testing3";
 
-  CVC4Message() << "a message";
+  CVC5Message() << "a message";
   Warning() << "bad warning!";
   Chat() << "chatty";
   Notice() << "note";
@@ -136,7 +136,7 @@ TEST_F(TestUtilBlackOutput, evaluation_off_when_it_is_supposed_to_be)
   ASSERT_FALSE(Debug.isOn("foo"));
   ASSERT_FALSE(Trace.isOn("foo"));
   ASSERT_FALSE(Warning.isOn());
-  ASSERT_FALSE(CVC4Message.isOn());
+  ASSERT_FALSE(CVC5Message.isOn());
   ASSERT_FALSE(Notice.isOn());
   ASSERT_FALSE(Chat.isOn());
 
@@ -147,7 +147,7 @@ TEST_F(TestUtilBlackOutput, evaluation_off_when_it_is_supposed_to_be)
   cout << "warning" << std::endl;
   Warning() << failure() << std::endl;
   cout << "message" << std::endl;
-  CVC4Message() << failure() << std::endl;
+  CVC5Message() << failure() << std::endl;
   cout << "notice" << std::endl;
   Notice() << failure() << std::endl;
   cout << "chat" << std::endl;
@@ -185,7 +185,7 @@ TEST_F(TestUtilBlackOutput, simple_print)
   ASSERT_EQ(d_chatStream.str(), std::string());
   d_chatStream.str("");
 
-  CVC4Message() << "baz foo";
+  CVC5Message() << "baz foo";
   ASSERT_EQ(d_messageStream.str(), std::string());
   d_messageStream.str("");
 
@@ -229,7 +229,7 @@ TEST_F(TestUtilBlackOutput, simple_print)
   ASSERT_EQ(d_chatStream.str(), std::string("baz foo"));
   d_chatStream.str("");
 
-  CVC4Message() << "baz foo";
+  CVC5Message() << "baz foo";
   ASSERT_EQ(d_messageStream.str(), std::string("baz foo"));
   d_messageStream.str("");