LCOV - code coverage report
Current view: top level - pbes/test Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2387 2486 96.0 %
Date: 2024-03-08 02:52:28 Functions: 371 374 99.2 %
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 % 5 / 5
abstract_test.cpp
100.0%
100.0 % 11 / 11 100.0 % 3 / 3
bes_solve_test.cpp
100.0%
100.0 % 21 / 21 100.0 % 7 / 7
bes_test.cpp
100.0%
100.0 % 105 / 105 100.0 % 6 / 6
bisimulation_test.cpp
96.3%96.3%
96.3 % 52 / 54 100.0 % 11 / 11
boolean_operator_test.cpp
100.0%
100.0 % 9 / 9 100.0 % 3 / 3
bqnf_quantifier_rewriter_test.cpp
100.0%
100.0 % 17 / 17 100.0 % 4 / 4
constelm_test.cpp
82.6%82.6%
82.6 % 38 / 46 100.0 % 3 / 3
enumerator_test.cpp
100.0%
100.0 % 94 / 94 100.0 % 12 / 12
eqelm_test.cpp
90.4%90.4%
90.4 % 47 / 52 100.0 % 4 / 4
find_test.cpp
100.0%
100.0 % 38 / 38 100.0 % 7 / 7
gauss_elimination_test.cpp
89.4%89.4%
89.4 % 93 / 104 100.0 % 11 / 11
lps2pbes_test.cpp
98.4%98.4%
98.4 % 239 / 243 100.0 % 40 / 40
monotonicity_test.cpp
87.0%87.0%
87.0 % 20 / 23 100.0 % 3 / 3
normal_form_test.cpp
100.0%
100.0 % 19 / 19 100.0 % 4 / 4
normalize_test.cpp
100.0%
100.0 % 98 / 98 100.0 % 11 / 11
one_point_rewriter_test.cpp
100.0%
100.0 % 41 / 41 100.0 % 8 / 8
parelm_test.cpp
100.0%
100.0 % 8 / 8 100.0 % 2 / 2
parity_game_test.cpp
98.4%98.4%
98.4 % 60 / 61 100.0 % 9 / 9
parse_test.cpp
100.0%
100.0 % 20 / 20 100.0 % 4 / 4
pbes_explorer_test.cpp
97.0%97.0%
97.0 % 129 / 133 100.0 % 18 / 18
pbes_expression_test.cpp
91.0%91.0%
91.0 % 111 / 122 100.0 % 4 / 4
pbes_property_map_test.cpp
100.0%
100.0 % 10 / 10 100.0 % 2 / 2
pbes_test.cpp
97.9%97.9%
97.9 % 94 / 96 100.0 % 18 / 18
pbesinst_test.cpp
91.1%91.1%
91.1 % 82 / 90 100.0 % 14 / 14
pbesrewr_test.cpp
100.0%
100.0 % 21 / 21 100.0 % 4 / 4
pfnf_rewriter_test.cpp
95.6%95.6%
95.6 % 129 / 135 100.0 % 16 / 16
pg_parse_test.cpp
100.0%
100.0 % 27 / 27 100.0 % 7 / 7
ppg_rewriter_test.cpp
94.1%94.1%
94.1 % 32 / 34 100.0 % 4 / 4
print_test.cpp
100.0%
100.0 % 22 / 22 100.0 % 6 / 6
quantifier_propagate_test.cpp
100.0%
100.0 % 20 / 20 100.0 % 8 / 8
remove_equations_test.cpp
75.0%75.0%
75.0 % 21 / 28 100.0 % 5 / 5
remove_parameters_test.cpp
100.0%
100.0 % 52 / 52 100.0 % 6 / 6
rewriter_test.cpp
98.5%98.5%
98.5 % 318 / 323 95.3 % 61 / 64
sort_traverser_test.cpp
100.0%
100.0 % 36 / 36 100.0 % 3 / 3
stategraph_test.cpp
90.5%90.5%
90.5 % 134 / 148 100.0 % 15 / 15
substitute_test.cpp
96.3%96.3%
96.3 % 78 / 81 100.0 % 14 / 14
symbolic_parity_game_test.cpp
100.0%
100.0 % 2 / 2 100.0 % 2 / 2
txt2pbes_test.cpp
100.0%
100.0 % 7 / 7 100.0 % 2 / 2
typecheck_test.cpp
83.3%83.3%
83.3 % 15 / 18 100.0 % 5 / 5

Generated by: LCOV version 1.14