diff options
Diffstat (limited to 'tests/i/enum-range')
| -rw-r--r-- | tests/i/enum-range/case.json | 1 | ||||
| -rw-r--r-- | tests/i/enum-range/expected.txt | 3 | ||||
| -rw-r--r-- | tests/i/enum-range/notes.md | 5 | ||||
| -rw-r--r-- | tests/i/enum-range/program.cps | 9 |
4 files changed, 18 insertions, 0 deletions
diff --git a/tests/i/enum-range/case.json b/tests/i/enum-range/case.json new file mode 100644 index 0000000..0967ef4 --- /dev/null +++ b/tests/i/enum-range/case.json @@ -0,0 +1 @@ +{} diff --git a/tests/i/enum-range/expected.txt b/tests/i/enum-range/expected.txt new file mode 100644 index 0000000..f91d556 --- /dev/null +++ b/tests/i/enum-range/expected.txt @@ -0,0 +1,3 @@ +[Fatal] line 5: Value out of range for enum Season +enum caught +TRUE 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. diff --git a/tests/i/enum-range/program.cps b/tests/i/enum-range/program.cps new file mode 100644 index 0000000..7c6d1ef --- /dev/null +++ b/tests/i/enum-range/program.cps @@ -0,0 +1,9 @@ +TYPE Season = (Spring, Summer) +DECLARE S : Season +S <- Summer +TRY + S <- S + 1 +CATCH + OUTPUT "enum caught" +ENDTRY +OUTPUT S = Summer |