1
91%
main: 91%

Ran 17 Sep 2025 04:25AM UTC

Files 336

Run time 9s

Badge

Committed 17 Sep 2025 04:21AM UTC coverage: 91.176% (-0.003%) from 91.179%

Build Type

push

github

Committed by

Commit Message

Fix bug when using parameter in a width cast expression

Run Details

10446 of 13324 branches covered (78.4%)

Branch coverage included in aggregate %.

38275 of 40112 relevant lines covered (95.42%)

0.95 hits per line