Method test_contains

tests/test_z3_semantic.py:757–758 · view source on GitHub ↗

(self, kernel)

Source from the content-addressed store, hash-verified

755	assert _try_prove(SuffixOf(StringVal("abc"), StringVal("abc")))
756
757	def test_contains(self, kernel):
758	assert _try_prove(Contains(StringVal("abcdef"), StringVal("cde")))
759
760	def test_contains_empty(self, kernel):
761	assert _try_prove(Contains(StringVal("abc"), StringVal("")))

nothing calls this directly

_try_proveFunction · 0.90

ContainsFunction · 0.90

StringValFunction · 0.90

no test coverage detected