3009

Committed 24 Feb 2025 05:25PM UTC coverage: 62.321%. Remained the same

Build # 3009

Build Type

push

github

Committed by

Commit Message

Merge pull request #1688 from goblint/issue_1536

Audit usages of `fold_right`

Run Details

12 of 14 new or added lines in 7 files covered. (85.71%)

37 existing lines in 2 files now uncovered.

19487 of 31269 relevant lines covered (62.32%)

439900.79 hits per line

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

70.63

/src/analyses/malloc_null.ml