Method test_add

tests/test_z3_ported.py:3404–3408

(self)

        assert isinstance(o, Optimize)

    def test_add(self):
        o = Optimize()
        x = Int("x")
        o.add(x > 0)
        assert len(o.assertions()) == 1

    def test_maximize(self):
        o = Optimize()