1
93%
develop: 93%

Ran 06 Dec 2025 10:46PM UTC

Files 756

Run time 17s

Badge

Committed 06 Dec 2025 10:24PM UTC coverage: 92.834% (+0.04%) from 92.796%

Build Type

push

github

Committed by

Commit Message

simplify procedural implementations

since the output semantics now better handle partial systems, get rid of explicit sink management

Run Details

17191 of 18518 relevant lines covered (92.83%)

1.72 hits per line