Method test_store

tests/test_z3_compat.py:588–593

(self)

        assert isinstance(sel._ast, SelectNode)

    def test_store(self):
        a = Array("a", IntSort(), IntSort())
        i = Int("i")
        v = Int("v")
        s = Store(a, i, v)
        assert isinstance(s._ast, StoreNode)

    def test_constant_array(self):
        c = K(IntSort(), IntVal(0))