aboutsummaryrefslogtreecommitdiff
path: root/tests/i/stdin/notes.md
blob: 62f8727479c97f3c8f82e152858da16b767d86c3 (plain)
1
2
3
4
5

# stdin

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.