blob: ac6e5e81413287e351299c27e4714efcf138cc8e (
plain)
1
2
3
4
5
6
7
|
# identifier-case
Human review: pending. Expected output was independently traced by AI, not captured from cpsc.
Basis: CIE p. 7: identifiers should be considered case insensitive. Symbol lookup must resolve both spellings to the same declaration.
Trace: Counter and counter denote the same declared variable; the read yields 7.
|