Method test_strings_helper

tests/test_z3_ported.py:1443–1445

(self)

        assert isinstance(s, StringRef)

    def test_strings_helper(self):
        a, b, c = Strings("a b c")
        assert all(isinstance(x, StringRef) for x in (a, b, c))


# ===================================================================