Method test_reset

tests/test_z3_ported.py:3773–3777

(self)

        assert x not in m

    def test_reset(self):
        m = AstMap()
        m[Int("x")] = Int("y")
        m.reset()
        assert len(m) == 0

    def test_keys(self):
        m = AstMap()