diff options
Diffstat (limited to 'test/unit/api/solver_black.cpp')
| -rw-r--r-- | test/unit/api/solver_black.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/test/unit/api/solver_black.cpp b/test/unit/api/solver_black.cpp index 528d697ae..8e67d1287 100644 --- a/test/unit/api/solver_black.cpp +++ b/test/unit/api/solver_black.cpp @@ -1328,13 +1328,8 @@ TEST_F(TestApiBlackSolver, getOp) Term listhead = d_solver.mkTerm(APPLY_SELECTOR, headTerm, listcons1); ASSERT_TRUE(listnil.hasOp()); - ASSERT_EQ(listnil.getOp(), Op(&d_solver, APPLY_CONSTRUCTOR)); - ASSERT_TRUE(listcons1.hasOp()); - ASSERT_EQ(listcons1.getOp(), Op(&d_solver, APPLY_CONSTRUCTOR)); - ASSERT_TRUE(listhead.hasOp()); - ASSERT_EQ(listhead.getOp(), Op(&d_solver, APPLY_SELECTOR)); } TEST_F(TestApiBlackSolver, getOption) |