(self)
| 2524 | assert isinstance(r, BoolRef) |
| 2525 | |
| 2526 | def test_sub_no_overflow(self): |
| 2527 | x, y = BitVecs("x y", 8) |
| 2528 | r = BVSubNoOverflow(x, y) |
| 2529 | assert isinstance(r, BoolRef) |
| 2530 | |
| 2531 | def test_sub_no_underflow_unsigned(self): |
| 2532 | x, y = BitVecs("x y", 8) |
nothing calls this directly
no test coverage detected