3513

Committed 31 Jul 2025 08:20AM UTC coverage: 61.56% (-0.02%) from 61.579%

Build # 3513

Build Type

github

Committed by

Commit Message

Merge ebfbd06c1 into f5cebf739

Run Details

131 of 152 new or added lines in 19 files covered. (86.18%)

289 existing lines in 6 files now uncovered.

20853 of 33874 relevant lines covered (61.56%)

407782.0 hits per line

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

70.73

/src/framework/analyses.ml