4113

Committed 23 Jan 2026 11:13AM UTC coverage: 65.549% (+0.002%) from 65.547%

Build # 4113

Build Type

github

Committed by

Commit Message

Merge 9763e2a82 into 94c3632b8

Run Details

22697 of 34626 relevant lines covered (65.55%)

403948.13 hits per line

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

81.64

/src/analyses/base.ml