5046
67%

Ran 13 Oct 2026 02:17AM UTC

Jobs 1

Files 329

Run time 1min

Badge

Committed 12 Oct 2026 10:19AM UTC coverage: 65.666% (-0.001%) from 65.667%

Build # 5046

Build Type

push

github

Committed by

Commit Message

Merge pull request #2180 from goblint/base-add_offset_varinfo

Fix `add_offset_varinfo` for `NullPtr` in base

Coverage Stats

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

2 existing lines in 2 files now uncovered.

23098 of 35175 relevant lines covered (65.67%)

395463.32 hits per line

Lines	Coverage	∆	File
1	82.47	-0.04%	src/analyses/base.ml
1	61.34	-0.26%	src/analyses/varEq.ml

ID	Job ID	Ran	Files	Coverage
1	5046.1	13 Oct 2026 02:17AM UTC	329	65.67	GitHub Action Run