4
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.293% (-0.02%) from 84.309%

Build Type

push

github

Committed by GitHub

Commit Message

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

Coverage Stats

9419 of 12412 branches covered (0.0%)

Branch coverage included in aggregate %.

21116 of 23813 relevant lines covered (88.67%)

562.25 hits per line