1
85%
main: 85%

Ran 01 Nov 2023 07:54PM UTC

Files 362

Run time 10s

Badge

Committed 01 Nov 2023 07:51PM UTC coverage: 84.295%. First build

Build Type

push

github

Committed by GitHub

Commit Message

Merge pull request #52 from CMU-313/revert-51-deepscan-tool

Run Details

9419 of 12412 branches covered (0.0%)

Branch coverage included in aggregate %.

21117 of 23813 relevant lines covered (88.68%)

562.2 hits per line