LCOV - code coverage report

Current view: top level - modal_formula/test - state_formula_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 230 239 96.2 % Date: 2024-04-19 03:43:27 Functions: 45 45 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZL15negate_variableRKN5mcrl214state_formulas8variableE	1
_ZL16test_not_invokerv	1
_ZL17test_1094_invokerv	1
_ZL18test_parse_invokerv	1
_ZL19test_rename_invokerv	1
_ZL22test_normalize_invokerv	1
_ZL26test_type_checking_invokerv	1
_ZL28test_count_fixpoints_invokerv	1
_ZL32parse_modal_formula_test_invokerv	1
_ZL33test_find_state_variables_invokerv	1
_ZL35test_replace_state_formulas_invokerv	1
_ZL39test_maximal_closed_subformulas_invokerv	1
_ZL40has_unscoped_modal_formulas_test_invokerv	1
_ZL41check_parameter_name_clashes_test_invokerv	1
_ZL46parse_state_formula_specification_test_invokerv	1
_ZL46preprocess_nested_modal_operators_test_invokerv	1
_ZL50test_type_checking_conversion_of_arguments_invokerv	1
_ZL55parse_state_formula_with_sum_specification_test_invokerv	1
_ZL59parse_state_formula_with_infimum_specification_test_invokerv	1
_ZL60parse_state_formula_with_supremum_specification_test_invokerv	1
_ZL70parse_state_formula_with_const_multiply_alt_specification_test_invokerv	1
_ZN10test_parse11test_methodEv	1
_ZN11test_rename11test_methodEv	1
_ZN14test_normalize11test_methodEv	1
_ZN18test_type_checking11test_methodEv	1
_ZN20test_count_fixpoints11test_methodEv	1
_ZN24parse_modal_formula_test11test_methodEv	1
_ZN25test_find_state_variables11test_methodEv	1
_ZN27test_replace_state_formulas11test_methodEv	1
_ZN31test_maximal_closed_subformulas11test_methodEv	1
_ZN32has_unscoped_modal_formulas_test11test_methodEv	1
_ZN33check_parameter_name_clashes_test11test_methodEv	1
_ZN38parse_state_formula_specification_test11test_methodEv	1
_ZN38preprocess_nested_modal_operators_test11test_methodEv	1
_ZN42test_type_checking_conversion_of_arguments11test_methodEv	1
_ZN47parse_state_formula_with_sum_specification_test11test_methodEv	1
_ZN51parse_state_formula_with_infimum_specification_test11test_methodEv	1
_ZN52parse_state_formula_with_supremum_specification_test11test_methodEv	1
_ZN62parse_state_formula_with_const_multiply_alt_specification_test11test_methodEv	1
_ZN8test_not11test_methodEv	1
_ZN9test_109411test_methodEv	1
_Z32test_has_unscoped_modal_formulasRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERN5mcrl23lps13specificationEb	4
_Z38test_preprocess_nested_modal_operatorsRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERN5mcrl23lps13specificationES6_	4
_Z8containsRKSt3setIN5mcrl214state_formulas13state_formulaESt4lessIS2_ESaIS2_EERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	4
_Z5sigmaRKN5mcrl214state_formulas13state_formulaE	5

Generated by: LCOV version 1.14