LCOV - code coverage report
Current view: top level - pbes/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2127 2214 96.1 %
Date: 2019-07-19 02:46:18 Functions: 400 403 99.3 %
Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
absinthe_test.cpp
100.0%
100.0 % 17 / 17 100.0 % 7 / 7
abstract_test.cpp
100.0%
100.0 % 14 / 14 100.0 % 5 / 5
bisimulation_test.cpp
96.3%96.3%
96.3 % 52 / 54 100.0 % 13 / 13
boolean_operator_test.cpp
100.0%
100.0 % 7 / 7 100.0 % 5 / 5
bqnf_quantifier_rewriter_test.cpp
100.0%
100.0 % 17 / 17 100.0 % 6 / 6
constelm_test.cpp
89.7%89.7%
89.7 % 70 / 78 100.0 % 5 / 5
enumerator_test.cpp
100.0%
100.0 % 97 / 97 100.0 % 14 / 14
eqelm_test.cpp
83.0%83.0%
83.0 % 39 / 47 100.0 % 6 / 6
find_test.cpp
100.0%
100.0 % 38 / 38 100.0 % 9 / 9
lps2pbes_test.cpp
98.3%98.3%
98.3 % 235 / 239 100.0 % 42 / 42
monotonicity_test.cpp
87.0%87.0%
87.0 % 20 / 23 100.0 % 5 / 5
normalize_test.cpp
100.0%
100.0 % 98 / 98 100.0 % 13 / 13
one_point_rewriter_test.cpp
100.0%
100.0 % 39 / 39 100.0 % 11 / 11
parelm_test.cpp
100.0%
100.0 % 10 / 10 100.0 % 4 / 4
parity_game_test.cpp
98.3%98.3%
98.3 % 59 / 60 100.0 % 11 / 11
parse_test.cpp
100.0%
100.0 % 20 / 20 100.0 % 6 / 6
pbes_explorer_test.cpp
97.7%97.7%
97.7 % 129 / 132 100.0 % 22 / 22
pbes_expression_test.cpp
90.8%90.8%
90.8 % 109 / 120 100.0 % 6 / 6
pbes_property_map_test.cpp
100.0%
100.0 % 10 / 10 100.0 % 4 / 4
pbes_test.cpp
97.8%97.8%
97.8 % 91 / 93 100.0 % 20 / 20
pbesinst_test.cpp
93.6%93.6%
93.6 % 88 / 94 100.0 % 16 / 16
pbesrewr_test.cpp
100.0%
100.0 % 21 / 21 100.0 % 6 / 6
pfnf_rewriter_test.cpp
95.6%95.6%
95.6 % 130 / 136 100.0 % 18 / 18
ppg_rewriter_test.cpp
94.1%94.1%
94.1 % 32 / 34 100.0 % 6 / 6
print_test.cpp
100.0%
100.0 % 22 / 22 100.0 % 8 / 8
remove_equations_test.cpp
75.0%75.0%
75.0 % 21 / 28 100.0 % 7 / 7
remove_parameters_test.cpp
100.0%
100.0 % 51 / 51 100.0 % 8 / 8
rewriter_test.cpp
98.5%98.5%
98.5 % 319 / 324 95.7 % 67 / 70
sort_traverser_test.cpp
100.0%
100.0 % 36 / 36 100.0 % 5 / 5
stategraph_test.cpp
90.9%90.9%
90.9 % 130 / 143 100.0 % 17 / 17
substitute_test.cpp
96.4%96.4%
96.4 % 80 / 83 100.0 % 17 / 17
test_specifications.h
100.0%
100.0 % 1 / 1 - 0 / 0
txt2pbes_test.cpp
100.0%
100.0 % 9 / 9 100.0 % 4 / 4
typecheck_test.cpp
84.2%84.2%
84.2 % 16 / 19 100.0 % 7 / 7

Generated by: LCOV version 1.12