4018

Committed 29 Dec 2025 03:08PM UTC coverage: 65.413% (-0.007%) from 65.42%

Build # 4018

Build Type

push

github

Committed by

Commit Message

Merge pull request #1905 from goblint/overflow-kind-minus

Distinguish unary and binary minus in overflow messages

Run Details

1 of 2 new or added lines in 1 file covered. (50.0%)

2 existing lines in 2 files now uncovered.

22582 of 34522 relevant lines covered (65.41%)

404237.1 hits per line

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

52.8

/src/common/util/cilType.ml