4301
65%

Ran 10 Apr 2026 02:30AM UTC

Jobs 1

Files 317

Run time 1min

Badge

Committed 09 Apr 2026 07:07AM UTC coverage: 65.495% (+0.001%) from 65.494%

Build # 4301

Build Type

push

github

Committed by

Commit Message

Merge pull request #1982 from goblint/refine-pointer-by-pointee-option

Add option `ana.base.branch.refine-pointer-by-pointee`

Coverage Stats

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

22679 of 34627 relevant lines covered (65.5%)

400434.34 hits per line

ID	Job ID	Ran	Files	Coverage
1	4301.1	10 Apr 2026 02:30AM UTC	317	65.5	GitHub Action Run