Method test_substring

tests/test_z3_semantic.py:795–796 · view source on GitHub ↗

(self, kernel)

Source from the content-addressed store, hash-verified

793	assert _try_prove(IntToStr(IntVal(42)) == StringVal("42"))
794
795	def test_substring(self, kernel):
796	assert _try_prove(SubString(StringVal("abcdef"), IntVal(2), IntVal(3)) == StringVal("cde"))
797
798
799	class TestStringUniversal:

nothing calls this directly

_try_proveFunction · 0.90

SubStringFunction · 0.90

StringValFunction · 0.90

IntValFunction · 0.90

no test coverage detected