Method test_create_tuple

tests/test_z3_ported.py:3349–3352

(self, kernel)

    """Test TupleSort factory."""

    def test_create_tuple(self, kernel):
        Pair, mk_pair, [fst, snd] = TupleSort("Pair_t1", [IntSort(), IntSort()])
        assert isinstance(Pair, SortRef)
        assert Pair.name() == "Pair_t1"

    def test_tuple_constructor(self, kernel):
        Pair, mk_pair, [fst, snd] = TupleSort("Pair_t2", [IntSort(), IntSort()])