Method test_array_sort

tests/test_z3_ported.py:1934–1936

(self)

        assert "8" in repr(BitVecSort(8))

    def test_array_sort(self):
        s = ArraySort(IntSort(), IntSort())
        assert isinstance(s, ArraySortRef)

    def test_expression_sort(self):
        """Each expression knows its sort."""