Sign-extending 0xFF (= -1 signed) gives 0xFFFF.
(self, kernel)
| 619 | assert _try_prove(SignExt(8, BitVecVal(0x7F, 8)) == BitVecVal(0x007F, 16)) |
| 620 | |
| 621 | def test_signext_negative(self, kernel): |
| 622 | """Sign-extending 0xFF (= -1 signed) gives 0xFFFF.""" |
| 623 | assert _try_prove(SignExt(8, BitVecVal(0xFF, 8)) == BitVecVal(0xFFFF, 16)) |
| 624 | |
| 625 | def test_rotate_left_identity(self, kernel): |
| 626 | x = BitVec("x", 8) |
nothing calls this directly
no test coverage detected