1
85%
main: 85%

Ran 04 Mar 2022 09:53AM UTC

Files 18

Run time 2s

Badge

Committed 04 Mar 2022 09:53AM UTC coverage: 89.438% (-0.005%) from 89.443%

Build Type

push

github

Committed by Ryan Carniato

Commit Message

fix propagation bug, add simplified implementations to benchmark

Run Details

932 of 1103 branches covered (84.5%)

Branch coverage included in aggregate %.

1202 of 1283 relevant lines covered (93.69%)

160253.65 hits per line