3991

Committed 19 Dec 2025 03:01AM UTC coverage: 65.412% (-0.02%) from 65.431%

Build # 3991

Build Type

github

Committed by

Commit Message

Merge c1a9179f9 into 88bf71630

Run Details

22581 of 34521 relevant lines covered (65.41%)

404245.68 hits per line

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

81.4

/src/analyses/base.ml