Method test_get_version_string

tests/test_z3_ported.py:4373–4375

(self)

        assert len(v) == 4

    def test_get_version_string(self):
        s = get_version_string()
        assert isinstance(s, str)

    def test_get_full_version(self):
        s = get_full_version()