def one

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

import Base
import snap@1.4.0.0/main.bend as R
import ezx@1.11.0.0/src/share/cap.bend as Cap
import ezx@1.11.0.0/src/ez/quiet.bend as Q

111# one proof against its answer: the run's first line, with a memory kill turned
112# into a sentence in front of what it printed
113def one(+path: String, +gigs: String, +output: String, +passed: Nat) -> IO(Nat):
114  do IO<Nat>:
115    +text : String <- IO.pure(String, R.text(output))
116    +ok : Bool <- IO.pure(Bool, String.eq(head(text), verdict()))
117    say(ok, path, Cap.why(output, gigs) ++ Q.chomp(text))
118    return count(ok, passed)