1
62%
main: 62%

Ran 11 Dec 2025 05:06PM UTC

Files 300

Run time 13s

Badge

Committed 11 Dec 2025 05:03PM UTC coverage: 40.351% (-0.03%) from 40.379%

Build Type

push

github

Committed by

Commit Message

Merge pull request #387 from daisytuner/cleanup

Minor improvements in symbolic analysis

Run Details

13653 of 43801 branches covered (31.17%)

Branch coverage included in aggregate %.

11688 of 19000 relevant lines covered (61.52%)

94.14 hits per line