1
65%
master: 65%

Ran 12 Apr 2026 02:30AM UTC

Files 317

Run time 6s

Badge

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

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

22679 of 34627 relevant lines covered (65.5%)

400434.34 hits per line