LCOV - code coverage report

Current view: top level - lps/source - tools.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 0 138 0.0 % Date: 2024-04-21 03:44:01 Functions: 0 11 0.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZN5mcrl23lps10lpssuminstERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES8_NS_4data16rewrite_strategyES8_bb	0
_ZN5mcrl23lps11lpsconstelmERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES8_NS_4data16rewrite_strategyEbbbb	0
_ZN5mcrl23lps5lpsppERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES8_bNS_4core17print_format_typeE	0
_ZN5mcrl23lps7lpsinfoERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES8_	0
_ZN5mcrl23lps7lpsrewrERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES8_NS_4data16rewrite_strategyENS0_17lps_rewriter_typeE	0
_ZN5mcrl23lps7txt2lpsERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES8_	0
_ZN5mcrl23lps9lpsbinaryERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES8_S8_	0
_ZN5mcrl23lps9lpsinvelmERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES8_S8_S8_NS_4data16rewrite_strategyENS9_6detail15smt_solver_typeEbbbbbbbi	0
_ZN5mcrl23lps9lpsparelmERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES8_	0
_ZN5mcrl23lps9lpssumelmERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES8_b	0
_ZN5mcrl23lps9lpsuntimeERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES8_bbNS_4data16rewrite_strategyE	0

Generated by: LCOV version 1.14