1
91%
main: 91%

Ran 15 Sep 2025 08:23PM UTC

Files 336

Run time 10s

Badge

Committed 15 Sep 2025 08:19PM UTC coverage: 91.168% (+0.004%) from 91.164%

Build Type

push

github

Committed by

Commit Message

Fix incorrect copy of array_elements during elab

Run Details

10506 of 13396 branches covered (78.43%)

Branch coverage included in aggregate %.

38287 of 40124 relevant lines covered (95.42%)

0.95 hits per line