aboutsummaryrefslogtreecommitdiff
path: root/tests/i/enum-range/notes.md
blob: e6894410170bd530632f614bed240aa780417fba (plain)
1
2
3
4
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.