Method test_num_patterns

tests/test_z3_ported.py:3616–3619

(self)

        assert q.skolem_id() == ""

    def test_num_patterns(self):
        x = Int("x")
        q = ForAll([x], x > 0)
        assert q.num_patterns() == 0

    def test_pattern_raises(self):
        x = Int("x")