Method test_tryfor_ignores_timeout

tests/test_z3_ported.py:2754–2757

(self)

        assert t2 is t

    def test_tryfor_ignores_timeout(self):
        t = Tactic("simp")
        t2 = TryFor(t, 5000)
        assert t2 is t

    def test_tactic_solver(self, kernel):
        t = Tactic("grind")