2
65%
master: 65%

Ran 27 Mar 2025 06:22AM UTC

Files 767

Run time 18s

Badge

Committed 27 Mar 2025 05:31AM UTC coverage: 57.458% (+0.04%) from 57.418%

Build Type

push

github

Committed by

Commit Message

Merge pull request #9627 from yyforyongyu/sweep-under-budget

Sweep inputs even the budget cannot be covered

Run Details

95184 of 165659 relevant lines covered (57.46%)

0.61 hits per line