LCOV - code coverage report
Current view: top level - data/include/mcrl2/data/experimental Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 743 938 79.2 %
Date: 2019-05-22 00:50:25 Functions: 145 160 90.6 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
type_check_tree.h
86.4%86.4%
86.4 % 574 / 664 96.4 % 133 / 138
type_checker.h
61.7%61.7%
61.7 % 169 / 274 54.5 % 12 / 22

Generated by: LCOV version 1.12