diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-03 17:17:17 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-03 17:17:17 -0800 |
commit | 27d6a284f34ff787882a952572519233ec12b939 (patch) | |
tree | bed5405a5446dd9c3f86a5c10543ba6fe512a381 /test/unit/api/solver_black.cpp | |
parent | 81cf94dc266f41d7fa10098154fcb233a20d9f43 (diff) |
New C++ API: Clean up usage of internal types in Op. (#6045)
This disables the temporarily available internals of Op.
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) |