1
84%
master: 84%

Ran 25 Oct 2024 02:40AM UTC

Files 152

Run time 5s

Badge

Committed 25 Oct 2024 02:03AM UTC coverage: 83.68% (-1.3%) from 84.952%

Build Type

github

Committed by

Commit Message

Merge pull request #3081 from PrincetonUniversity/condition-names

Condition usability improvements

Run Details

9268 of 12302 branches covered (75.34%)

Branch coverage included in aggregate %.

32176 of 37225 relevant lines covered (86.44%)

0.86 hits per line