mk
Create BitVec arithmetic signed reminder (bvsrem) expression.
Computes remainder of a truncate (round toward zero) division. The result sign matches the arg0 sign.
For example: 47 bvsrem 13 = 8 47 bvsrem -13 = 8 -47 bvsrem 13 = -8 -47 bvsrem -13 = -8
See also
for the unsigned remainder.