From 57fcb4012bcfa4b0d15a28d470f0536bfb8d9c79 Mon Sep 17 00:00:00 2001 From: Patrick Pelissier Date: Sun, 7 Feb 2021 00:42:10 +0100 Subject: [PATCH] Update doc --- README.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index acde79f3..14467bce 100644 --- a/README.md +++ b/README.md @@ -5400,12 +5400,14 @@ The number shall be within the range [1..M\_MAX\_NB\_ARGUMENT]. ##### M\_ADD(x, y) Return x+y (resolution is performed at preprocessing time). -x, y and the result shall be within [0..M\_MAX\_NB\_ARGUMENT]. +x, y shall be within [0..M\_MAX\_NB\_ARGUMENT]. +If the result is not in [0..M\_MAX\_NB\_ARGUMENT+1], it returns OVERFLOW. ##### M\_SUB(x, y) Return x-y (resolution is performed at preprocessing time). -x, y and the result shall be within [0..M\_MAX\_NB\_ARGUMENT] and x >= y. +x, y shall be within [0..M\_MAX\_NB\_ARGUMENT]. +If the result is not in [0..M\_MAX\_NB\_ARGUMENT], it returns UNDERFLOW. ##### M\_BOOL(cond)