rotateLeft(x, 0) == x for 8-bit.
(self, kernel)
| 1211 | assert r.size() == 8 |
| 1212 | |
| 1213 | def test_rotate_left_proof(self, kernel): |
| 1214 | """rotateLeft(x, 0) == x for 8-bit.""" |
| 1215 | x = BitVec("x", 8) |
| 1216 | claim = ForAll(x, RotateLeft(x, 0) == x) |
| 1217 | assert _try_prove(claim) |
| 1218 | |
| 1219 | def test_rotate_right_proof(self, kernel): |
| 1220 | """rotateRight(x, 0) == x for 8-bit.""" |
nothing calls this directly
no test coverage detected