LCOV - code coverage report | |||||||||||||||||||||||||
|
|||||||||||||||||||||||||
Filename | Line Coverage | Functions | ||||
absinthe_test.cpp |
|
100.0 % | 17 / 17 | 100.0 % | 5 / 5 | |
abstract_test.cpp |
|
100.0 % | 11 / 11 | 100.0 % | 3 / 3 | |
bes_solve_test.cpp |
|
100.0 % | 21 / 21 | 100.0 % | 7 / 7 | |
bes_test.cpp |
|
100.0 % | 105 / 105 | 100.0 % | 6 / 6 | |
bisimulation_test.cpp |
|
96.3 % | 52 / 54 | 100.0 % | 11 / 11 | |
boolean_operator_test.cpp |
|
100.0 % | 9 / 9 | 100.0 % | 3 / 3 | |
bqnf_quantifier_rewriter_test.cpp |
|
100.0 % | 17 / 17 | 100.0 % | 4 / 4 | |
constelm_test.cpp |
|
82.6 % | 38 / 46 | 100.0 % | 3 / 3 | |
enumerator_test.cpp |
|
100.0 % | 94 / 94 | 100.0 % | 12 / 12 | |
eqelm_test.cpp |
|
90.4 % | 47 / 52 | 100.0 % | 4 / 4 | |
find_test.cpp |
|
100.0 % | 38 / 38 | 100.0 % | 7 / 7 | |
gauss_elimination_test.cpp |
|
89.4 % | 93 / 104 | 100.0 % | 11 / 11 | |
lps2pbes_test.cpp |
|
98.4 % | 239 / 243 | 100.0 % | 40 / 40 | |
monotonicity_test.cpp |
|
87.0 % | 20 / 23 | 100.0 % | 3 / 3 | |
normal_form_test.cpp |
|
100.0 % | 19 / 19 | 100.0 % | 4 / 4 | |
normalize_test.cpp |
|
100.0 % | 98 / 98 | 100.0 % | 11 / 11 | |
one_point_rewriter_test.cpp |
|
100.0 % | 41 / 41 | 100.0 % | 8 / 8 | |
parelm_test.cpp |
|
100.0 % | 8 / 8 | 100.0 % | 2 / 2 | |
parity_game_test.cpp |
|
98.4 % | 60 / 61 | 100.0 % | 9 / 9 | |
parse_test.cpp |
|
100.0 % | 20 / 20 | 100.0 % | 4 / 4 | |
pbes_explorer_test.cpp |
|
97.0 % | 129 / 133 | 100.0 % | 18 / 18 | |
pbes_expression_test.cpp |
|
91.0 % | 111 / 122 | 100.0 % | 4 / 4 | |
pbes_property_map_test.cpp |
|
100.0 % | 10 / 10 | 100.0 % | 2 / 2 | |
pbes_test.cpp |
|
97.9 % | 94 / 96 | 100.0 % | 18 / 18 | |
pbesinst_test.cpp |
|
91.1 % | 82 / 90 | 100.0 % | 14 / 14 | |
pbesrewr_test.cpp |
|
100.0 % | 21 / 21 | 100.0 % | 4 / 4 | |
pfnf_rewriter_test.cpp |
|
95.6 % | 129 / 135 | 100.0 % | 16 / 16 | |
pg_parse_test.cpp |
|
100.0 % | 27 / 27 | 100.0 % | 7 / 7 | |
ppg_rewriter_test.cpp |
|
94.1 % | 32 / 34 | 100.0 % | 4 / 4 | |
print_test.cpp |
|
100.0 % | 22 / 22 | 100.0 % | 6 / 6 | |
quantifier_propagate_test.cpp |
|
100.0 % | 20 / 20 | 100.0 % | 8 / 8 | |
remove_equations_test.cpp |
|
75.0 % | 21 / 28 | 100.0 % | 5 / 5 | |
remove_parameters_test.cpp |
|
100.0 % | 52 / 52 | 100.0 % | 6 / 6 | |
rewriter_test.cpp |
|
98.5 % | 318 / 323 | 95.3 % | 61 / 64 | |
sort_traverser_test.cpp |
|
100.0 % | 36 / 36 | 100.0 % | 3 / 3 | |
stategraph_test.cpp |
|
90.5 % | 134 / 148 | 100.0 % | 15 / 15 | |
substitute_test.cpp |
|
96.3 % | 78 / 81 | 100.0 % | 14 / 14 | |
symbolic_parity_game_test.cpp |
|
100.0 % | 2 / 2 | 100.0 % | 2 / 2 | |
txt2pbes_test.cpp |
|
100.0 % | 7 / 7 | 100.0 % | 2 / 2 | |
typecheck_test.cpp |
|
83.3 % | 15 / 18 | 100.0 % | 5 / 5 |
Generated by: LCOV version 1.14 |