3001

Committed 24 Feb 2025 05:25PM UTC coverage: 62.321% (+0.002%) from 62.319%

Build # 3001

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%)

64 existing lines in 2 files now uncovered.

19487 of 31269 relevant lines covered (62.32%)

439900.37 hits per line

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

79.09

/src/relationAnalysis.ml