def done.go

ezx@1.11.0.0 · src/ez/test.bend:89

import Base
import ezx@1.11.0.0/src/ez/ends.bend as E
import ezx@1.11.0.0/src/lock/run.bend as Run

89# the count, and the exit status it implies. The reminder sits above the count
90# and never below it: a run's last line is its verdict, and something reads it.
91def done.go(+passed: Nat, +total: Nat) -> IO(Unit):
92  do IO<Unit>:
93    IO.print("tests are a last resort for what you cannot prove")
94    IO.print("PASS: " ++ Nat.show(passed) ++ " / " ++ Nat.show(total))
95    Run.end(E.counted(passed, total))