2
85%
main: 85%

Ran 02 Nov 2023 11:24PM UTC

Files 363

Run time 8s

Badge

Committed 02 Nov 2023 11:06PM UTC coverage: 84.351% (-0.02%) from 84.368%

Build Type

push

github

Committed by

Commit Message

Merge pull request #35 from CMU-313/Plato-Dev-Tool

Adding Plato Analysis Tool

Run Details

9387 of 12356 branches covered (0.0%)

Branch coverage included in aggregate %.

21101 of 23788 relevant lines covered (88.7%)

601.68 hits per line