✓
Passing This code compiles and runs correctly.
Code
// PINS: the success line names the output binary's build mode. The Debug
// default is deliberate — bounds/overflow/unreachable checks stay on so
// the suite judges safe code — but it was INVISIBLE: `koruc prog.k`
// produced a bounds-checked binary and said nothing, which is how a
// benchmark ends up timing Debug output. post.sh greps backend.out for
// `Compiled to output (Debug)` — the banner, not the binary.
import std/io
std/io:print.ln("ok")
Actual
ok
Expected output
ok
Flows
flow ~print.ln click a branch to expand · @labels scroll to their anchor
print.ln (expr: "ok")
Test Configuration
MUST_RUN LANGUAGES: zig
Post-validation Script:
#!/bin/bash
# The suite builds without --release=fast, so the banner must say Debug —
# this pins BOTH halves: the mode is named, and the default stayed Debug.
set -u
if [ ! -f backend.out ]; then
echo "FAIL: no backend.out"
exit 1
fi
if ! grep -q 'Compiled to output (Debug)' backend.out; then
echo "FAIL: success line does not name the build mode"
cat backend.out
exit 1
fi
echo "PASS: success line names the build mode (Debug default intact)"
exit 0