Method test_maximize

tests/test_z3_ported.py:3410–3414

(self)

        assert len(o.assertions()) == 1

    def test_maximize(self):
        o = Optimize()
        x = Int("x")
        h = o.maximize(x)
        assert h == 0

    def test_minimize(self):
        o = Optimize()