LCOV - code coverage report

Current view: top level - lps/test - invelm_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 58 58 100.0 % Date: 2024-04-21 03:44:01 Functions: 7 7 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_Z14has_identifierIN5mcrl24data15data_expressionEEbRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	1
_ZL16test_abp_invokerv	1
_ZL22test_invariant_invokerv	1
_ZN14test_invariant11test_methodEv	1
_ZN8test_abp11test_methodEv	1
_Z14has_identifierIN5mcrl23lps14action_summandEEbRKT_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	3
_Z6invelmRKN5mcrl23lps13specificationERKNS_4data15data_expressionEbb	4

Generated by: LCOV version 1.14