3455

Committed 21 Jul 2025 07:25PM UTC coverage: 61.571% (+0.02%) from 61.553%

Build # 3455

Build Type

push

github

Committed by

Commit Message

Remove unused opens

Run Details

20894 of 33935 relevant lines covered (61.57%)

407060.24 hits per line

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

82.14

/src/analyses/malloc_null.ml