3153

Committed 18 Apr 2025 12:40PM UTC coverage: 61.699% (-0.2%) from 61.883%

Build # 3153

Build Type

push

github

Committed by

Commit Message

Merge pull request #1731 from goblint/delay-widening-cleanup

Use generic `Spec` lifters for delayed widening

Run Details

15 of 29 new or added lines in 2 files covered. (51.72%)

67 existing lines in 10 files now uncovered.

20843 of 33782 relevant lines covered (61.7%)

408806.46 hits per line

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

78.95

/src/relationAnalysis.ml