From 77bca094a140b35341257f125a55212ff0108250 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 15 Apr 2021 13:04:55 -0700
Subject: 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.
---
 test/unit/api/op_black.cpp | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'test/unit/api/op_black.cpp')

diff --git a/test/unit/api/op_black.cpp b/test/unit/api/op_black.cpp
index 0b67c0013..e7b83f455 100644
--- a/test/unit/api/op_black.cpp
+++ b/test/unit/api/op_black.cpp
@@ -43,13 +43,13 @@ TEST_F(TestApiBlackOp, isNull)
 TEST_F(TestApiBlackOp, opFromKind)
 {
   ASSERT_NO_THROW(d_solver.mkOp(PLUS));
-  ASSERT_THROW(d_solver.mkOp(BITVECTOR_EXTRACT), CVC4ApiException);
+  ASSERT_THROW(d_solver.mkOp(BITVECTOR_EXTRACT), CVC5ApiException);
 }
 
 TEST_F(TestApiBlackOp, getIndicesString)
 {
   Op x;
-  ASSERT_THROW(x.getIndices<std::string>(), CVC4ApiException);
+  ASSERT_THROW(x.getIndices<std::string>(), CVC5ApiException);
 
   Op divisible_ot = d_solver.mkOp(DIVISIBLE, 4);
   ASSERT_TRUE(divisible_ot.isIndexed());
@@ -59,7 +59,7 @@ TEST_F(TestApiBlackOp, getIndicesString)
   Op record_update_ot = d_solver.mkOp(RECORD_UPDATE, "test");
   std::string record_update_idx = record_update_ot.getIndices<std::string>();
   ASSERT_EQ(record_update_idx, "test");
-  ASSERT_THROW(record_update_ot.getIndices<uint32_t>(), CVC4ApiException);
+  ASSERT_THROW(record_update_ot.getIndices<uint32_t>(), CVC5ApiException);
 }
 
 TEST_F(TestApiBlackOp, getIndicesUint)
@@ -70,7 +70,7 @@ TEST_F(TestApiBlackOp, getIndicesUint)
   ASSERT_EQ(bitvector_repeat_idx, 5);
   ASSERT_THROW(
       (bitvector_repeat_ot.getIndices<std::pair<uint32_t, uint32_t>>()),
-      CVC4ApiException);
+      CVC5ApiException);
 
   Op bitvector_zero_extend_ot = d_solver.mkOp(BITVECTOR_ZERO_EXTEND, 6);
   uint32_t bitvector_zero_extend_idx =
@@ -109,7 +109,7 @@ TEST_F(TestApiBlackOp, getIndicesUint)
   Op tuple_update_ot = d_solver.mkOp(TUPLE_UPDATE, 5);
   uint32_t tuple_update_idx = tuple_update_ot.getIndices<uint32_t>();
   ASSERT_EQ(tuple_update_idx, 5);
-  ASSERT_THROW(tuple_update_ot.getIndices<std::string>(), CVC4ApiException);
+  ASSERT_THROW(tuple_update_ot.getIndices<std::string>(), CVC5ApiException);
 }
 
 TEST_F(TestApiBlackOp, getIndicesPairUint)
@@ -168,7 +168,7 @@ TEST_F(TestApiBlackOp, getIndicesPairUint)
   ASSERT_TRUE((floatingpoint_to_fp_generic_indices
                == std::pair<uint32_t, uint32_t>{4, 25}));
   ASSERT_THROW(floatingpoint_to_fp_generic_ot.getIndices<std::string>(),
-               CVC4ApiException);
+               CVC5ApiException);
 }
 
 TEST_F(TestApiBlackOp, opScopingToString)
-- 
cgit v1.2.3