diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-04-03 18:53:41 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-03 18:53:41 -0700 |
| commit | 9d571cb1156e5ed6a6ba8a261b365e7fb5f92914 (patch) | |
| tree | 76157eb0fb124d3820f2ab6b6ca05993c1481e40 /test/unit/api | |
| parent | aeede74491d1db9c5bac771e78b79934ca4ab552 (diff) | |
New C++ API: Remove Op::getSort(). (#4208)
Diffstat (limited to 'test/unit/api')
| -rw-r--r-- | test/unit/api/op_black.h | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/test/unit/api/op_black.h b/test/unit/api/op_black.h index 4a66d76aa..e99e8daf2 100644 --- a/test/unit/api/op_black.h +++ b/test/unit/api/op_black.h @@ -25,7 +25,6 @@ class OpBlack : public CxxTest::TestSuite void tearDown() override {} void testGetKind(); - void testGetSort(); void testIsNull(); void testOpFromKind(); void testGetIndicesString(); @@ -39,19 +38,10 @@ class OpBlack : public CxxTest::TestSuite void OpBlack::testGetKind() { Op x; - TS_ASSERT_THROWS(x.getSort(), CVC4ApiException&); x = d_solver.mkOp(BITVECTOR_EXTRACT, 31, 1); TS_ASSERT_THROWS_NOTHING(x.getKind()); } -void OpBlack::testGetSort() -{ - Op x; - TS_ASSERT_THROWS(x.getSort(), CVC4ApiException&); - x = d_solver.mkOp(BITVECTOR_EXTRACT, 31, 1); - TS_ASSERT_THROWS_NOTHING(x.getSort()); -} - void OpBlack::testIsNull() { Op x; |