def run

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

import Base
import snap@1.4.0.0/main.bend as R
import ezx@1.11.0.0/src/share/env.bend as Env
import ezx@1.11.0.0/src/share/cap.bend as Cap

152# `ez prove`: every PROOF.bend in the tree, run at once and reported in the
153# tree's order. There is no budget: a proof that takes long is still a proof,
154# and one that never finishes is stopped by whatever runs the gate.
155def run() -> IO(Unit):
156  do IO<Unit>:
157    +cap : Bool <- Cap.ok()
158    Cap.warn(cap)
159    +g : String <- Cap.gb()
160    +at : String <- Env.lib()
161    +jobs : String <- width()
162    +ps : List<&2, String> <- find.proofs()
163    fresh.dir(out.at())
164    as : List<&2, String> <- R.par(cmds(ps, cap, g, at), jobs, g, out.at(), "0")
165    +passed : Nat <- report(ps, as, g, 0n)
166    done(passed, List.length(&2, String, ps))