Method test_array_creation

tests/test_z3_ported.py:923–925

(self)

    """From z3py guide & bubble_sort.py: array theory."""

    def test_array_creation(self):
        a = Array("a", IntSort(), IntSort())
        assert is_array(a)

    def test_select_store(self):
        """Guide: Select and Store operations."""