4501

Committed 19 May 2026 02:15PM UTC coverage: 65.419% (-0.007%) from 65.426%

Build # 4501

Build Type

github

Committed by

Commit Message

Merge 3aa23670f into 1afc78c6e

Coverage Stats

7 of 12 new or added lines in 2 files covered. (58.33%)

41 existing lines in 1 file now uncovered.

22798 of 34849 relevant lines covered (65.42%)

398107.0 hits per line

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

70.37

/src/framework/analyses.ml