LCOV - code coverage report
Current view: top level - smt/source - recursive_function_definition.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 0 165 0.0 %
Date: 2019-07-19 02:46:18 Functions: 0 10 0.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_GLOBAL__sub_I_recursive_function_definition.cpp 0
_Z41__static_initialization_and_destruction_0ii 0
_ZN5mcrl23smt29recursive_function_definition24is_pattern_matching_ruleEPNS0_18data_specificationERKNS_4data13data_equationE 0
_ZN5mcrl23smt29recursive_function_definitionC2EPNS0_18data_specificationENS_4data15function_symbolERKSt6vectorINS4_13data_equationESaIS7_EE 0
_ZN5mcrl23smt4ruleC2EOS1_ 0
_ZN5mcrl23smt4ruleC2ERKS1_ 0
_ZN5mcrl23smt4ruleC2Ev 0
_ZN5mcrl23smt4ruleD2Ev 0
_ZN5mcrl23smtL13construct_rhsEPNS0_18data_specificationERKSt6vectorINS0_4ruleESaIS4_EERKNS_4data15sort_expressionE 0
_ZN5mcrl23smtL23construct_condition_rhsEPNS0_18data_specificationERKSt6vectorINS0_4ruleESaIS4_EERKNS_4data15sort_expressionE 0

Generated by: LCOV version 1.12