(self)
| 2534 | assert isinstance(r, BoolRef) |
| 2535 | |
| 2536 | def test_sub_no_underflow_signed(self): |
| 2537 | x, y = BitVecs("x y", 8) |
| 2538 | r = BVSubNoUnderflow(x, y, signed=True) |
| 2539 | assert isinstance(r, BoolRef) |
| 2540 | |
| 2541 | def test_mul_no_overflow(self): |
| 2542 | x, y = BitVecs("x y", 8) |
nothing calls this directly
no test coverage detected