Method test_keys

tests/test_z3_ported.py:3779–3783

(self)

        assert len(m) == 0

    def test_keys(self):
        m = AstMap()
        x = Int("x")
        m[x] = Int("y")
        assert x in m.keys()


# ===================================================================