3448

Committed 21 Jul 2025 11:10AM UTC coverage: 61.561%. First build

Build # 3448

Build Type

github

Committed by

Commit Message

Merge 3a40f113f into aa694f407

Run Details

40 of 59 new or added lines in 12 files covered. (67.8%)

20916 of 33976 relevant lines covered (61.56%)

406561.52 hits per line

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

73.53

/src/analyses/assert.ml