(self, left, right)
return self.create_node(node_type=op.BV_SREM,
                                args=(left, right),
                                payload=(left.bv_width(),))
Returns the SIGNED REMAINDER of left divided by right
Returns the SIGNED REMAINDER of left divided by right
Returns the SIGNED REMAINDER of left divided by right
def BVSRem(self, left, right):
        """Returns the SIGNED REMAINDER of left divided by right"""
        return self.create_node(node_type=op.BV_SREM,
                                args=(left, right),
                                payload=(left.bv_width(),))
def BVSRem ( self , left , right ) : return self . create_node ( node_type = op . BV_SREM , args = ( left , right ) , payload = ( left . bv_width ( ) , ) )