LCOV - code coverage report

Current view: top level - lps/include/mcrl2/lps - invariant_checker.h (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 51 81 63.0 % Date: 2024-05-01 03:37:31 Functions: 5 14 35.7 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lps6detail17Invariant_CheckerINS0_13specificationEE13save_dot_fileEm	0
_ZN5mcrl23lps6detail17Invariant_CheckerINS0_13specificationEE21print_counter_exampleEv	0
_ZN5mcrl23lps6detail17Invariant_CheckerINS0_24stochastic_specificationEE10check_initERKNS_4data15data_expressionE	0
_ZN5mcrl23lps6detail17Invariant_CheckerINS0_24stochastic_specificationEE13check_summandERKNS_4data15data_expressionERKNS0_25stochastic_action_summandEm	0
_ZN5mcrl23lps6detail17Invariant_CheckerINS0_24stochastic_specificationEE13save_dot_fileEm	0
_ZN5mcrl23lps6detail17Invariant_CheckerINS0_24stochastic_specificationEE14check_summandsERKNS_4data15data_expressionE	0
_ZN5mcrl23lps6detail17Invariant_CheckerINS0_24stochastic_specificationEE15check_invariantERKNS_4data15data_expressionE	0
_ZN5mcrl23lps6detail17Invariant_CheckerINS0_24stochastic_specificationEE21print_counter_exampleEv	0
_ZN5mcrl23lps6detail17Invariant_CheckerINS0_24stochastic_specificationEEC2ERKS3_NS_4data16rewrite_strategyEibNS7_6detail15smt_solver_typeEbbbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	0
_ZN5mcrl23lps6detail17Invariant_CheckerINS0_13specificationEE10check_initERKNS_4data15data_expressionE	4
_ZN5mcrl23lps6detail17Invariant_CheckerINS0_13specificationEE14check_summandsERKNS_4data15data_expressionE	4
_ZN5mcrl23lps6detail17Invariant_CheckerINS0_13specificationEE15check_invariantERKNS_4data15data_expressionE	4
_ZN5mcrl23lps6detail17Invariant_CheckerINS0_13specificationEEC2ERKS3_NS_4data16rewrite_strategyEibNS7_6detail15smt_solver_typeEbbbRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	9
_ZN5mcrl23lps6detail17Invariant_CheckerINS0_13specificationEE13check_summandERKNS_4data15data_expressionERKNS0_14action_summandEm	22

Generated by: LCOV version 1.14