1
83%
main: 83%

Ran 16 Mar 2025 07:21PM UTC

Files 374

Run time 8s

Badge

Committed 16 Mar 2025 07:17PM UTC coverage: 82.639% (+0.005%) from 82.634%

Build Type

push

github

Committed by

Commit Message

Merge pull request #45 from CMU-313/savannahxunc/plato-static-setup

Integrating Plato Tool into workflow

Coverage Stats

10012 of 13538 branches covered (73.95%)

Branch coverage included in aggregate %.

22418 of 25705 relevant lines covered (87.21%)

1640.59 hits per line