Method test_array_sort

tests/test_z3_compat.py:574–576

(self)

class TestArray:
    def test_array_sort(self):
        s = ArraySort(IntSort(), IntSort())
        assert "\u2192" in repr(s)

    def test_array_var(self):
        a = Array("a", IntSort(), IntSort())