Method test_atmost_empty

tests/test_z3_ported.py:2588–2590

(self)

        assert isinstance(r, BoolRef)

    def test_atmost_empty(self):
        r = AtMost([], 0)
        assert is_true(r)

    def test_atleast_empty_zero(self):
        r = AtLeast([], 0)