Method test_zeroext_value

tests/test_z3_semantic.py:615–616 · view source on GitHub ↗

(self, kernel)

Source from the content-addressed store, hash-verified

613	assert _try_prove(Concat(BitVecVal(0xA, 4), BitVecVal(0xB, 4)) == BitVecVal(0xAB, 8))
614
615	def test_zeroext_value(self, kernel):
616	assert _try_prove(ZeroExt(8, BitVecVal(0xFF, 8)) == BitVecVal(0xFF, 16))
617
618	def test_signext_positive(self, kernel):
619	assert _try_prove(SignExt(8, BitVecVal(0x7F, 8)) == BitVecVal(0x007F, 16))

nothing calls this directly

_try_proveFunction · 0.90

ZeroExtFunction · 0.90

BitVecValFunction · 0.90

no test coverage detected