Signed remainder.
(a: BitVecRef, b: BitVecRef | int)
| 1637 | |
| 1638 | |
| 1639 | def SRem(a: BitVecRef, b: BitVecRef | int) -> BitVecRef: |
| 1640 | """Signed remainder.""" |
| 1641 | return a._binop(BinOp.SREM, b) |
| 1642 | |
| 1643 | |
| 1644 | def AShr(a: BitVecRef, b: BitVecRef | int) -> BitVecRef: |