3784
65%

Ran 11 Nov 2025 03:11AM UTC

Jobs 1

Files 302

Run time 1min

Badge

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

Build # 3784

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

11 of 11 new or added lines in 1 file covered. (100.0%)

12 existing lines in 3 files now uncovered.

20953 of 34109 relevant lines covered (61.43%)

404561.13 hits per line

Lines	Coverage	∆	File
1	62.62	-0.47%	src/incremental/compareAST.ml
2	50.0	-33.33%	src/common/util/loopUnrolling0.ml
9	80.33	-6.28%	src/witness/witnessUtil.ml

ID	Job ID	Ran	Files	Coverage
1	3784.1	11 Nov 2025 03:11AM UTC	302	61.43	GitHub Action Run