LCOV - code coverage report
Current view: top level - smt/include/mcrl2/smt Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 0 184 0.0 %
Date: 2019-05-18 00:50:05 Functions: 0 73 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
basic_data_specification.h
0.0%
0.0 % 0 / 77 0.0 % 0 / 19
constructed_sort_definition.h
0.0%
0.0 % 0 / 18 0.0 % 0 / 14
cvc4.h
0.0%
0.0 % 0 / 1 0.0 % 0 / 2
data_specification.h
0.0%
0.0 % 0 / 1 0.0 % 0 / 1
function_definition.h
0.0%
0.0 % 0 / 18 0.0 % 0 / 6
identity_function_definition.h
0.0%
0.0 % 0 / 7 0.0 % 0 / 4
named_function_definition.h
0.0%
0.0 % 0 / 15 0.0 % 0 / 6
pp_function_definition.h
0.0%
0.0 % 0 / 10 0.0 % 0 / 4
recursive_function_definition.h
0.0%
0.0 % 0 / 1 0.0 % 0 / 2
smt_problem.h
0.0%
0.0 % 0 / 6 0.0 % 0 / 3
sort_definition.h
0.0%
0.0 % 0 / 27 0.0 % 0 / 9
translation_error.h
0.0%
0.0 % 0 / 3 0.0 % 0 / 3

Generated by: LCOV version 1.12