panglesd / odoc / 460

Committed 06 Dec 2023 04:58PM UTC coverage: 55.526% (-0.8%) from 56.303%

Build # 460

Build Type

github

Committed by

Commit Message

Only compute occurrences of odoc modules

For a fairer comparison with master in ocurrent-bench

Signed-off-by: Paul-Elliot <peada@free.fr>

Run Details

124 of 448 new or added lines in 18 files covered. (27.68%)

50 existing lines in 3 files now uncovered.

7199 of 12965 relevant lines covered (55.53%)

808.21 hits per line

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

34.36

/src/xref2/find.ml