LCOV - code coverage report
Current view:
top level
-
process/test
- process_test.cpp
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
70
72
97.2 %
Date:
2024-04-17 03:40:49
Functions:
8
8
100.0 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_Z12test_guardedv
1
_Z14test_data_specv
1
_ZL17test_main_invokerv
1
_ZL29balance_summands_test_invokerv
1
_ZN21balance_summands_test11test_methodEv
1
_ZN9test_main11test_methodEv
1
_Z11test_linearRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEb
16
_ZZN21balance_summands_test11test_methodEvENKUlRKN5mcrl27process18process_expressionEE_clES4_
402
Generated by:
LCOV version 1.14