4160

Committed 06 Feb 2026 08:39AM UTC coverage: 65.522%. Remained the same

Build # 4160

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%)

365 existing lines in 3 files now uncovered.

22706 of 34654 relevant lines covered (65.52%)

403188.15 hits per line

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

81.68

/src/analyses/base.ml