007 failing test

✓ Passing This code compiles and runs correctly.

Code

input.k

Flows

flow ~test click a branch to expand · @labels scroll to their anchor
test (This test passes, source: do-thing -> 1 do-thing(): _ |> assert(true))
flow ~test click a branch to expand · @labels scroll to their anchor
test (This test should fail, source: do-thing -> 1 do-thing(): _ |> assert(false))

Test Configuration

Post-validation Script: