3516

Committed 31 Jul 2025 04:57PM UTC coverage: 61.56% (-0.02%) from 61.576%

Build # 3516

Build Type

push

github

Committed by

Commit Message

Merge pull request #1799 from goblint/issue-1798

Fix copy-paste typo in interval set overflow handling

Run Details

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

832 existing lines in 17 files now uncovered.

20853 of 33874 relevant lines covered (61.56%)

407785.97 hits per line

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

81.93

/src/analyses/malloc_null.ml