aboutsummaryrefslogtreecommitdiff
path: root/tests/i/stdin
diff options
context:
space:
mode:
Diffstat (limited to 'tests/i/stdin')
-rw-r--r--tests/i/stdin/input.txt2
-rw-r--r--tests/i/stdin/notes.md2
2 files changed, 2 insertions, 2 deletions
diff --git a/tests/i/stdin/input.txt b/tests/i/stdin/input.txt
index 604b657..4ac051f 100644
--- a/tests/i/stdin/input.txt
+++ b/tests/i/stdin/input.txt
@@ -1,4 +1,4 @@
-7
-1
+TRUE
Z
hello
diff --git a/tests/i/stdin/notes.md b/tests/i/stdin/notes.md
index 62f8727..63f1a22 100644
--- a/tests/i/stdin/notes.md
+++ b/tests/i/stdin/notes.md
@@ -2,4 +2,4 @@
Human review: pending. Expected output was independently traced by AI, not captured from cpsc.
-Basis and trace: CIE p. 15; the project INPUT contract reads BOOLEAN as an integer (nonzero is true) and STRING as a whitespace-delimited token.
+Basis and trace: CIE p. 15; the project INPUT contract reads BOOLEAN as TRUE or FALSE in any case, other scalars as whitespace-delimited tokens, and STRING as the rest of the line.