3952

Committed 12 Dec 2025 01:03PM UTC coverage: 65.41% (-0.04%) from 65.446%

Build # 3952

Build Type

github

Committed by

Commit Message

Merge f1928a957 into 50f3cfadb

Run Details

22579 of 34519 relevant lines covered (65.41%)

403951.69 hits per line

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

81.39

/src/analyses/base.ml