1
85%
main: 85%

Ran 01 Nov 2023 07:34PM UTC

Files 362

Run time 8s

Badge

Committed 01 Nov 2023 07:22PM UTC coverage: 84.305% (-0.02%) from 84.322%

Build Type

push

github

Committed by GitHub

Commit Message

Merge pull request #46 from CMU-313/deepscan-tool

Run Details

9135 of 12066 branches covered (0.0%)

Branch coverage included in aggregate %.

20822 of 23468 relevant lines covered (88.73%)

1726.15 hits per line