def sweep.flush

gralha-coverage@0.1.0.1 · cover.bend:448

import Base

448# Close the group at c: the gap (c, upper) holds -sum, cell c adds its directs.
449def sweep.flush(+sum: F32, +upper: U32, +c: U32, +direct: F32, acc: List<&2, Run>) -> List<&2, Run>:
450  runs.emit(c, (c + 1 : U32), run.snap((direct - sum : F32)), runs.emit((c + 1 : U32), upper, run.snap(F32.neg(sum)), acc))