4542

Committed 28 May 2026 06:46AM UTC coverage: 65.258% (-0.2%) from 65.426%

Build # 4542

Build Type

github

Committed by

Commit Message

Merge 18599c2ca into 2f7df14e6

Coverage Stats

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

210 existing lines in 5 files now uncovered.

22976 of 35208 relevant lines covered (65.26%)

395087.53 hits per line

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

70.37

/src/framework/analyses.ml