(self, kernel)
| 3372 | assert isinstance(p, ExprRef) |
| 3373 | |
| 3374 | def test_triple_sort(self, kernel): |
| 3375 | Triple, mk, accs = TupleSort("Triple_t5", [IntSort(), RealSort(), BoolSort()]) |
| 3376 | assert mk.arity() == 3 |
| 3377 | assert len(accs) == 3 |
| 3378 | |
| 3379 | |
| 3380 | class TestCreateDatatypes: |