Method test_strings

tests/test_z3_compat.py:1371–1374

(self)

        assert is_string(s)

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

    def test_string_val(self):
        s = StringVal("hello")