Method test_create

tests/test_z3_ported.py:3400–3402

(self)

    """Test Optimize stub class."""

    def test_create(self):
        o = Optimize()
        assert isinstance(o, Optimize)

    def test_add(self):
        o = Optimize()