4487

Committed 13 May 2026 05:21PM UTC coverage: 65.42% (+0.07%) from 65.348%

Build # 4487

Build Type

push

github

Committed by

Commit Message

Merge pull request #2029 from goblint/memOutOfBounds-one-past-end

Remove incorrect one-past-end distinction in memOutOfBounds

Coverage Stats

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

68 existing lines in 5 files now uncovered.

22795 of 34844 relevant lines covered (65.42%)

398140.2 hits per line

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

70.37

/src/framework/analyses.ml