diff options
Diffstat (limited to 'tests/i/enum-range/notes.md')
| -rw-r--r-- | tests/i/enum-range/notes.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/i/enum-range/notes.md b/tests/i/enum-range/notes.md new file mode 100644 index 0000000..e689441 --- /dev/null +++ b/tests/i/enum-range/notes.md @@ -0,0 +1,5 @@ +# enum-range + +Human review: pending. Expected output was independently traced by AI, not captured from cpsc. + +Basis and trace: Project enum range and exception contract. Incrementing the last ordinal fails before assignment, leaving S=Summer. |