3
95%
main: 94%

Ran 07 Jul 2022 12:17AM UTC

Files 16

Run time 4s

Badge

Committed 07 Jul 2022 12:16AM UTC coverage: 95.437% (-0.06%) from 95.492%

Build Type

push

github

Committed by Richard Kiss

Commit Message

Comments, deal with too-large atoms.

Run Details

394 of 425 branches covered (92.71%)

Branch coverage included in aggregate %.

1112 of 1153 relevant lines covered (96.44%)

0.96 hits per line