Method test_string_var

tests/test_z3_compat.py:1366–1369

(self)

        assert repr(s) == "String"

    def test_string_var(self):
        s = String("s")
        assert isinstance(s, StringRef)
        assert is_string(s)

    def test_strings(self):
        a, b = Strings("a b")