4549
65%

Ran 01 Jun 2026 02:35AM UTC

Jobs 1

Files 327

Run time 1min

Badge

Committed 29 May 2026 06:55AM UTC coverage: 65.259% (-0.006%) from 65.265%

Build # 4549

Build Type

push

github

Committed by

Commit Message

Merge pull request #2030 from goblint/memOutOfBounds-blobsize

 Improve memOutOfBounds precision for points-to sets which mix allocs with others

Coverage Stats

48 of 57 new or added lines in 2 files covered. (84.21%)

22966 of 35192 relevant lines covered (65.26%)

395274.16 hits per line

Lines	Coverage	∆	File
5	82.42	0.05%	src/analyses/base.ml
4	72.35	-0.48%	src/analyses/memOutOfBounds.ml

ID	Job ID	Ran	Files	Coverage
1	4549.1	01 Jun 2026 02:35AM UTC	327	65.26	GitHub Action Run