Method test_help

tests/test_z3_ported.py:4533–4536

(self)

        assert result == unknown

    def test_help(self):
        s = Solver()
        h = s.help()
        assert isinstance(h, str)

    def test_param_descrs(self):
        s = Solver()