3784

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

Source File
Press 'n' to go to next uncovered line, 'b' for previous

62.62

/src/incremental/compareAST.ml