Method test_with_ignores_params

tests/test_z3_ported.py:2749–2752

(self)

        assert isinstance(t, Tactic)

    def test_with_ignores_params(self):
        t = Tactic("simp")
        t2 = With(t, max_steps=1000)
        assert t2 is t

    def test_tryfor_ignores_timeout(self):
        t = Tactic("simp")