✓
Passing This code compiles and runs correctly.
Code
// Watchdog self-test (EXPECT_TIMEOUT): a koru program that infinite-loops at
// RUNTIME. The harness safety net (per-test process-group watchdog +
// inner binary timeout) must catch it and record a TIMEOUT failure instead of
// hanging the suite forever. With EXPECT_TIMEOUT, a CAUGHT hang = PASS.
const std = @import("std");
~event spin {}
~proc spin|zig {
var i: u64 = 0;
while (true) { i +%= 1; std.mem.doNotOptimizeAway(i); }
}
~spin()
Flows
flow ~spin click a branch to expand · @labels scroll to their anchor
spin
Test Configuration
MUST_RUN