LCOV - code coverage report

Current view: top level - pbes/test - normalize_test.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 98 98 100.0 % Date: 2024-05-04 03:44:52 Functions: 11 11 100.0 % Legend: Lines: hit not hit

Function Name	Hit count
_ZL23test_normalize1_invokerv	1
_ZL23test_normalize2_invokerv	1
_ZL23test_normalize3_invokerv	1
_ZL29test_normalize_and_or_invokerv	1
_ZN15test_normalize111test_methodEv	1
_ZN15test_normalize211test_methodEv	1
_ZN15test_normalize311test_methodEv	1
_ZN21test_normalize_and_or11test_methodEv	1
_Z30test_normalize_and_or_equalityRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_	3
_Z4normRKN5mcrl211pbes_system15pbes_expressionE	6
_Z5parseRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	6

Generated by: LCOV version 1.14