Method test_string_variable

tests/test_z3_ported.py:1386–1389

(self)

        assert is_string_value(s)

    def test_string_variable(self):
        s = String("s")
        assert is_string(s)
        assert is_var(s)

    def test_string_concat_operator(self):
        a = StringVal("hello")