Method test_int_to_str

tests/test_z3_compat.py:1433–1436

(self)

        assert is_int(i)

    def test_int_to_str(self):
        i = IntVal(42)
        s = IntToStr(i)
        assert isinstance(s, StringRef)

    def test_str_concat_variadic(self):
        a = StringVal("a")