Method test_repeat_combinator

tests/test_z3_ported.py:1708–1710

(self)

        assert isinstance(t, Tactic)

    def test_repeat_combinator(self):
        t = Repeat(Tactic("simp"))
        assert isinstance(t, Tactic)


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