diff options
Diffstat (limited to 'test/unit/api/op_black.cpp')
-rw-r--r-- | test/unit/api/op_black.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
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) |