2943

Committed 17 Feb 2025 04:28PM UTC coverage: 62.345% (+0.02%) from 62.328%

Build # 2943

Build Type

push

github

Committed by

Commit Message

Use `warn.deterministic` for more cram tests (References #1647)

Run Details

19484 of 31252 relevant lines covered (62.34%)

440149.84 hits per line

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

79.72

/src/analyses/base.ml