Method test_sdiv_positive

tests/test_z3_semantic.py:640–641 · view source on GitHub ↗

(self, kernel)

Source from the content-addressed store, hash-verified

638	"""Signed bit-vector semantics."""
639
640	def test_sdiv_positive(self, kernel):
641	assert _try_prove(SDiv(BitVecVal(6, 8), BitVecVal(2, 8)) == BitVecVal(3, 8))
642
643	def test_srem_positive(self, kernel):
644	assert _try_prove(SRem(BitVecVal(7, 8), BitVecVal(3, 8)) == BitVecVal(1, 8))

nothing calls this directly

_try_proveFunction · 0.90

SDivFunction · 0.90

BitVecValFunction · 0.90

no test coverage detected