diff options
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() |