def done

ezx@1.11.0.0 · src/ez/prove.bend:144

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

144# the count, and the exit status it implies. A run's last line is its verdict,
145# and anything that failed fails the command (`E.counted`), or a script around
146# it learns nothing.
147def done(+passed: Nat, +total: Nat) -> IO(Unit):
148  do IO<Unit>:
149    IO.print("PASS: " ++ Nat.show(passed) ++ " / " ++ Nat.show(total))
150    Run.end(E.counted(passed, total))