diff options
| author | makaimann <makaim@stanford.edu> | 2019-12-04 18:59:44 -0800 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2019-12-04 18:59:44 -0800 |
| commit | 2c68fa6fea5f98d6e5078961156d8c746bbd13c3 (patch) | |
| tree | 7ba9d6bc5d024363321a30db3292e9d93ef3a8f9 /test/unit | |
| parent | ae789c1d976b21bac4217a83f5ad9615b8f5e0f5 (diff) | |
Add mkOp for a single Kind (#3522)
Diffstat (limited to 'test/unit')
| -rw-r--r-- | test/unit/api/op_black.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/unit/api/op_black.h b/test/unit/api/op_black.h index 3bf9b93c3..dcad8b649 100644 --- a/test/unit/api/op_black.h +++ b/test/unit/api/op_black.h @@ -66,6 +66,10 @@ void OpBlack::testOpFromKind() Op plus(PLUS); TS_ASSERT(!plus.isIndexed()); TS_ASSERT_THROWS(plus.getIndices<uint32_t>(), CVC4ApiException&); + + TS_ASSERT_THROWS_NOTHING(d_solver.mkOp(PLUS)); + TS_ASSERT_EQUALS(plus, d_solver.mkOp(PLUS)); + TS_ASSERT_THROWS(d_solver.mkOp(BITVECTOR_EXTRACT), CVC4ApiException&); } void OpBlack::testGetIndicesString() |