diff options
| author | _ov4 <ov4@ov4.one> | 2026-10-16 20:53:52 +0800 |
|---|---|---|
| committer | _ov4 <ov4@ov4.one> | 2026-10-16 20:53:52 +0800 |
| commit | 5c00b8cd03cbfc516cce92229f3f4974d7549c24 (patch) | |
| tree | 9d13c180dc345b3e27d241ac56de2aef99dea739 /tests/i/standard-while | |
| parent | 1db81d50e8c664d0707491699485cfb23a0b5907 (diff) | |
test(compiler): cover fixed CIE behavior and runtime boundaries
Record independently traced outputs with pending human review. Keep
standard syntax and naming conflicts as real failures.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Diffstat (limited to 'tests/i/standard-while')
| -rw-r--r-- | tests/i/standard-while/case.json | 1 | ||||
| -rw-r--r-- | tests/i/standard-while/expected.txt | 1 | ||||
| -rw-r--r-- | tests/i/standard-while/notes.md | 5 | ||||
| -rw-r--r-- | tests/i/standard-while/program.cps | 6 |
4 files changed, 13 insertions, 0 deletions
diff --git a/tests/i/standard-while/case.json b/tests/i/standard-while/case.json new file mode 100644 index 0000000..0967ef4 --- /dev/null +++ b/tests/i/standard-while/case.json @@ -0,0 +1 @@ +{} diff --git a/tests/i/standard-while/expected.txt b/tests/i/standard-while/expected.txt new file mode 100644 index 0000000..0cfbf08 --- /dev/null +++ b/tests/i/standard-while/expected.txt @@ -0,0 +1 @@ +2 diff --git a/tests/i/standard-while/notes.md b/tests/i/standard-while/notes.md new file mode 100644 index 0000000..1d3cc30 --- /dev/null +++ b/tests/i/standard-while/notes.md @@ -0,0 +1,5 @@ +# standard-while + +Human review: pending. Expected output was independently traced by AI, not captured from cpsc. + +Basis and trace: CIE p. 21 does not include DO in WHILE syntax. X advances from 0 through 1 to 2, then the loop stops. diff --git a/tests/i/standard-while/program.cps b/tests/i/standard-while/program.cps new file mode 100644 index 0000000..b610bca --- /dev/null +++ b/tests/i/standard-while/program.cps @@ -0,0 +1,6 @@ +DECLARE X : INTEGER +X <- 0 +WHILE X < 2 + X <- X + 1 +ENDWHILE +OUTPUT X |