1
65%
master: 65%

Ran 11 Nov 2025 03:11AM UTC

Files 302

Run time 11s

Badge

Committed 10 Nov 2025 09:46AM UTC coverage: 61.43% (-0.02%) from 61.453%

Build Type

push

github

Committed by

Commit Message

Merge pull request #1847 from goblint/issue-1736

 Fix YAML witness `do`-`while` `loop_invariant` locations

Run Details

20953 of 34109 relevant lines covered (61.43%)

404561.13 hits per line