Method test_atleast_empty_zero

tests/test_z3_ported.py:2592–2594

(self)

        assert is_true(r)

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

    def test_atmost_unsat(self, kernel):
        """AtMost 0 true out of all-true is unsat."""