diff options
Diffstat (limited to 'tests/i/integer-boundaries/notes.md')
| -rw-r--r-- | tests/i/integer-boundaries/notes.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/i/integer-boundaries/notes.md b/tests/i/integer-boundaries/notes.md index b89da97..0a8f6c5 100644 --- a/tests/i/integer-boundaries/notes.md +++ b/tests/i/integer-boundaries/notes.md @@ -5,3 +5,5 @@ Human review: pending. Expected output was independently traced by AI, not captu Basis: Project INTEGER=i64 contract; CIE pp. 7 and 15 do not specify bit width or overflow. Trace: Inputs are 2^63-1 and -2^63. Every operation stays in range; their sum is -1 and division by 1 preserves both values. + +The final line independently exercises the minimum INTEGER as a source literal, rather than only through INPUT. Its exact value must also be -2^63; parsing its positive magnitude before applying unary minus must not silently change the value. |