LCOV - code coverage report
Current view: top level - smt/include/mcrl2/smt Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 0 698 0.0 %
Date: 2020-10-29 00:46:08 Functions: 0 94 0.0 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
child_process.h
0.0%
0.0 % 0 / 4 0.0 % 0 / 1
native_translation.h
0.0%
0.0 % 0 / 35 0.0 % 0 / 11
translate_expression.h
0.0%
0.0 % 0 / 104 0.0 % 0 / 17
translate_sort.h
0.0%
0.0 % 0 / 30 0.0 % 0 / 15
translate_specification.h
0.0%
0.0 % 0 / 126 0.0 % 0 / 11
translation_error.h
0.0%
0.0 % 0 / 3 0.0 % 0 / 3
unfold_pattern_matching.h
0.0%
0.0 % 0 / 317 0.0 % 0 / 17
utilities.h
0.0%
0.0 % 0 / 79 0.0 % 0 / 19

Generated by: LCOV version 1.13