Method test_atmost

tests/test_z3_ported.py:2563–2566

(self)

class TestPseudoBoolean:
    def test_atmost(self):
        bs = BoolVector("b", 5)
        r = AtMost(bs, 2)
        assert isinstance(r, BoolRef)

    def test_atleast(self):
        bs = BoolVector("b", 5)