3457

Committed 22 Jul 2025 08:52AM UTC coverage: 61.576%. First build

Build # 3457

Build Type

github

Committed by

Commit Message

Merge 1112876ed into f20fcd29e

Run Details

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

20892 of 33929 relevant lines covered (61.58%)

407134.52 hits per line

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

73.53

/src/analyses/assert.ml