4
85%
main: 85%

Ran 25 Oct 2023 06:28PM UTC

Files 363

Run time 9s

Badge

Committed 25 Oct 2023 06:26PM UTC coverage: 84.376% (-0.002%) from 84.378%

Build Type

push

github

Committed by GitHub

Commit Message

Merge pull request #34 from CMU-313/software.statis.analysis.flow

Run Details

9430 of 12405 branches covered (0.0%)

Branch coverage included in aggregate %.

21120 of 23802 relevant lines covered (88.73%)

559.55 hits per line