4159

Committed 06 Feb 2026 08:39AM UTC coverage: 65.522% (-0.005%) from 65.527%

Build # 4159

Build Type

push

github

Committed by

Commit Message

Merge pull request #1940 from goblint/addressdomain-of_int

Make int to pointer case more precise for non-zero ints, reuse `AD.of_int`

Run Details

8 of 9 new or added lines in 3 files covered. (88.89%)

260 existing lines in 5 files now uncovered.

22706 of 34654 relevant lines covered (65.52%)

403188.16 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

81.68

/src/analyses/base.ml