1
94%
main: 94%

Ran 21 Dec 2022 06:32PM UTC

Files 40

Run time 33s

Badge

Committed 21 Dec 2022 06:32PM UTC coverage: 67.547%. Remained the same

Build Type

push

github

Committed by GitHub

Commit Message

Merge multiple Fact tests into one Theory test (#262)

Run Details

1245 of 2618 branches covered (47.56%)

Branch coverage included in aggregate %.

3257 of 4047 relevant lines covered (80.48%)

1601.34 hits per line