4487
65%

Ran 14 May 2026 02:32AM UTC

Jobs 1

Files 319

Run time 1min

Badge

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

Lines	Coverage	∆	File
53	68.78	0.03%	src/domains/queries.ml
6	88.89	-1.28%	src/analyses/creationLockset.ml
4	91.23	0.0%	src/analyses/threadJoins.ml
3	70.37	0.0%	src/framework/analyses.ml
2	92.31	5.64%	src/analyses/threadDescendants.ml

ID	Job ID	Ran	Files	Coverage
1	4487.1	14 May 2026 02:32AM UTC	319	65.42	GitHub Action Run