panglesd / odoc / 466

57%

master: 56%

Build Type

push

github

Committed by panglesd

Commit Message

Occurrences: Review comments

- Remove now unused is_internal_rec. It was added for non-persistent values, but
this has been delayed to another PR
- Remove TODO comment on Classes when building the environment: classes cannot
contain items that are contained in our current set of occurrence kinds (values,
modules, module types, ...)

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

Coverage Stats

2 of 2 new or added lines in 2 files covered. (100.0%)

10 existing lines in 1 file now uncovered.

7172 of 12926 relevant lines covered (55.49%)

803.27 hits per line