diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-02-21 14:20:15 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-21 14:20:15 -0800 |
| commit | 641f14f02de0fb4f6a852fe53eb50b69f34101ee (patch) | |
| tree | 8b03b6bb0b2dcc22becadb494e4ab7ab04384fb1 /test | |
| parent | 18eb247c3f14761dc0e1981d4faf11833f069b9d (diff) | |
New C++ API: Remove TOTAL kinds. (#3794)
Diffstat (limited to 'test')
| -rw-r--r-- | test/unit/api/op_black.h | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/test/unit/api/op_black.h b/test/unit/api/op_black.h index 6fb7e839c..4a66d76aa 100644 --- a/test/unit/api/op_black.h +++ b/test/unit/api/op_black.h @@ -126,23 +126,11 @@ void OpBlack::testGetIndicesUint() floatingpoint_to_ubv_ot.getIndices<uint32_t>(); TS_ASSERT(floatingpoint_to_ubv_idx == 11); - Op floatingpoint_to_ubv_total_ot = - d_solver.mkOp(FLOATINGPOINT_TO_UBV_TOTAL, 12); - uint32_t floatingpoint_to_ubv_total_idx = - floatingpoint_to_ubv_total_ot.getIndices<uint32_t>(); - TS_ASSERT(floatingpoint_to_ubv_total_idx == 12); - Op floatingpoint_to_sbv_ot = d_solver.mkOp(FLOATINGPOINT_TO_SBV, 13); uint32_t floatingpoint_to_sbv_idx = floatingpoint_to_sbv_ot.getIndices<uint32_t>(); TS_ASSERT(floatingpoint_to_sbv_idx == 13); - Op floatingpoint_to_sbv_total_ot = - d_solver.mkOp(FLOATINGPOINT_TO_SBV_TOTAL, 14); - uint32_t floatingpoint_to_sbv_total_idx = - floatingpoint_to_sbv_total_ot.getIndices<uint32_t>(); - TS_ASSERT(floatingpoint_to_sbv_total_idx == 14); - Op tuple_update_ot = d_solver.mkOp(TUPLE_UPDATE, 5); uint32_t tuple_update_idx = tuple_update_ot.getIndices<uint32_t>(); TS_ASSERT(tuple_update_idx == 5); |