LCOV - code coverage report
Current view: top level - data/test - utility_test.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 73 81 90.1 %
Date: 2024-05-04 03:44:52 Functions: 6 6 100.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
_Z11number_testv 1
_Z12convert_testv 1
_Z22list_construction_testv 1
_ZL17test_main_invokerv 1
_ZN9test_main11test_methodEv 1
_Z20representation_checkIN5mcrl24data8rewriterEEvRT_RKNS1_15data_expressionES7_RKNS1_18data_specificationE 15

Generated by: LCOV version 1.14