3019

Committed 27 Feb 2025 08:36AM UTC coverage: 61.407% (+0.02%) from 61.392%

Build # 3019

Build Type

push

github

Committed by

Commit Message

Merge pull request #1659 from goblint/issue_1658

Consider pointees separately for refinement

Run Details

21 of 26 new or added lines in 1 file covered. (80.77%)

1 existing line in 1 file now uncovered.

19622 of 31954 relevant lines covered (61.41%)

430629.62 hits per line

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

76.92

/src/analyses/baseInvariant.ml