4158

Committed 04 Feb 2026 09:29AM UTC coverage: 65.527%. Remained the same

Build # 4158

Build Type

push

github

Committed by

Commit Message

Merge pull request #1932 from goblint/calloc-speculating

Fix spurious `*` overflow check in `calloc` implementation

Run Details

3 of 3 new or added lines in 1 file covered. (100.0%)

33 existing lines in 1 file now uncovered.

22719 of 34671 relevant lines covered (65.53%)

402999.77 hits per line

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

81.66

/src/analyses/base.ml