LCOV - code coverage report
Current view: top level - pbes/include/mcrl2/pbes - lps2pbes.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 74 86 86.0 %
Date: 2024-05-01 03:37:31 Functions: 7 8 87.5 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_ZN5mcrl211pbes_system8lps2pbesERKNS_3lps24stochastic_specificationERKNS_14state_formulas27state_formula_specificationEbbbbbb 0
_ZN5mcrl211pbes_system18lps2pbes_algorithm3runINS0_6detail35lps2pbes_counter_example_parametersEEEvRKNS_14state_formulas13state_formulaEbbRSt6vectorINS0_13pbes_equationESaISA_EERT_ 1
_ZN5mcrl211pbes_system8lps2pbesERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES8_bbbbbb 1
_ZN5mcrl211pbes_system8lps2pbesERKNS_3lps13specificationERKNS_14state_formulas13state_formulaEbbbbbb 106
_ZN5mcrl211pbes_system18lps2pbes_algorithm3runINS0_6detail19lps2pbes_parametersEEEvRKNS_14state_formulas13state_formulaEbbRSt6vectorINS0_13pbes_equationESaISA_EERT_ 136
_ZN5mcrl211pbes_system18lps2pbes_algorithm3runERKNS_14state_formulas13state_formulaERKNS_3lps24stochastic_specificationEbbbbRKNS_4data8variableE 137
_ZN5mcrl211pbes_system18lps2pbes_algorithmC2Eb 137
_ZN5mcrl211pbes_system8lps2pbesERKNS_3lps24stochastic_specificationERKNS_14state_formulas13state_formulaEbbbbbb 137

Generated by: LCOV version 1.14