Method test_int_to_str

tests/test_z3_semantic.py:792–793

(self, kernel)

        assert _try_prove(StrToInt(StringVal("abc")) == IntVal(-1))

    def test_int_to_str(self, kernel):
        assert _try_prove(IntToStr(IntVal(42)) == StringVal("42"))

    def test_substring(self, kernel):
        assert _try_prove(SubString(StringVal("abcdef"), IntVal(2), IntVal(3)) == StringVal("cde"))