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.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/prop/sat_solver_factory.cpp b/src/prop/sat_solver_factory.cpp
index a1b89b836..446f72451 100644
--- a/src/prop/sat_solver_factory.cpp
+++ b/src/prop/sat_solver_factory.cpp
@@ -46,7 +46,7 @@ SatSolver* SatSolverFactory::createCryptoMinisat(StatisticsRegistry& registry,
   res->init();
   return res;
 #else
-  Unreachable() << "CVC4 was not compiled with Cryptominisat support.";
+  Unreachable() << "cvc5 was not compiled with Cryptominisat support.";
 #endif
 }
 
@@ -58,7 +58,7 @@ SatSolver* SatSolverFactory::createCadical(StatisticsRegistry& registry,
   res->init();
   return res;
 #else
-  Unreachable() << "CVC4 was not compiled with CaDiCaL support.";
+  Unreachable() << "cvc5 was not compiled with CaDiCaL support.";
 #endif
 }
 
@@ -70,7 +70,7 @@ SatSolver* SatSolverFactory::createKissat(StatisticsRegistry& registry,
   res->init();
   return res;
 #else
-  Unreachable() << "CVC4 was not compiled with Kissat support.";
+  Unreachable() << "cvc5 was not compiled with Kissat support.";
 #endif
 }