def MPI_Op_free(context, args):
op_ptr = args[0]
op_id = context.controller.read_int(op_ptr)
op = check.check_op(context, op_id, 1)
context.state.remove_op(op)
context.controller.write_int(op_ptr, consts.MPI_OP_NULL)
return False
def convert(cls, value, arg_position, context):
return check.check_op(context, value, arg_position)
