LCOV - code coverage report
Current view:
top level
-
lts/test
- linearization_instantiation_compare_test.cpp
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
59
59
100.0 %
Date:
2024-05-04 03:44:52
Functions:
7
7
100.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZL34bad_renaming_non_bisimilar_invokerv
1
_ZL52where_clauses_in_conditions_of_rewrite_rules_invokerv
1
_ZN26bad_renaming_non_bisimilar11test_methodEv
1
_ZN44where_clauses_in_conditions_of_rewrite_rules11test_methodEv
1
_ZL27run_linearisation_test_caseRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKN5mcrl23lts9lts_aut_tE
2
_Z20translate_lps_to_ltsIN5mcrl23lts9lts_aut_tEET_RKNS0_3lps24stochastic_specificationE
12
_ZL26run_linearisation_instanceRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKN5mcrl23lps13t_lin_optionsERKNS7_3lts9lts_aut_tE
12
Generated by:
LCOV version 1.14