LCOV - code coverage report

Current view: top level Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 68759 89514 76.8 % Date: 2022-06-30 01:32:18 Functions: 26560 41304 64.3 % Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Directory	Line Coverage			Functions
/scratch/teamcity/BuildAgent/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/RSJIGP5BFD		0.0 %	0 / 328	0.0 %	0 / 56
/scratch/teamcity/BuildAgent/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/include		0.0 %	0 / 16	0.0 %	0 / 8
atermpp/include/mcrl2/atermpp		97.9 %	563 / 575	80.5 %	1312 / 1630
atermpp/include/mcrl2/atermpp/detail		88.6 %	842 / 950	68.3 %	3018 / 4417
atermpp/source		86.3 %	334 / 387	90.5 %	57 / 63
atermpp/test		96.8 %	600 / 620	97.8 %	131 / 134
bes/include/mcrl2/bes		85.5 %	846 / 990	80.1 %	261 / 326
bes/include/mcrl2/bes/detail		68.1 %	62 / 91	73.1 %	19 / 26
bes/source		70.1 %	164 / 234	75.7 %	28 / 37
bes/test		97.9 %	524 / 535	100.0 %	89 / 89
core/include/mcrl2/core		84.0 %	268 / 319	44.7 %	4080 / 9127
core/include/mcrl2/core/detail		74.3 %	2446 / 3291	92.7 %	788 / 850
core/source		69.3 %	375 / 541	56.1 %	23 / 41
core/test		95.0 %	19 / 20	100.0 %	9 / 9
data/include/mcrl2/data		90.2 %	9573 / 10614	60.1 %	3459 / 5752
data/include/mcrl2/data/detail		83.5 %	525 / 629	83.3 %	174 / 209
data/include/mcrl2/data/detail/prover		26.7 %	288 / 1077	32.6 %	45 / 138
data/include/mcrl2/data/detail/rewrite		78.6 %	437 / 556	90.8 %	148 / 163
data/include/mcrl2/data/experimental		79.1 %	739 / 934	90.6 %	145 / 160
data/include/mcrl2/data/rewriters		88.2 %	231 / 262	100.0 %	40 / 40
data/include/mcrl2/data/substitutions		87.8 %	244 / 278	88.6 %	78 / 88
data/source		74.5 %	2120 / 2844	69.4 %	136 / 196
data/source/detail/prover		1.8 %	1 / 56	25.0 %	2 / 8
data/source/detail/rewrite		83.1 %	1675 / 2016	89.2 %	140 / 157
data/test		95.9 %	4114 / 4290	98.4 %	745 / 757
gui/include/mcrl2/gui		0.0 %	0 / 32	0.0 %	0 / 33
gui/source		0.0 %	0 / 423	0.0 %	0 / 50
lps/include/mcrl2/lps		84.3 %	3575 / 4242	78.9 %	1088 / 1379
lps/include/mcrl2/lps/detail		80.7 %	480 / 595	75.6 %	93 / 123
lps/source		80.2 %	4750 / 5924	86.8 %	341 / 393
lps/test		96.6 %	2137 / 2212	99.8 %	476 / 477
lts/include/mcrl2/lts		77.2 %	1609 / 2084	71.1 %	440 / 619
lts/include/mcrl2/lts/detail		87.7 %	4942 / 5635	84.7 %	716 / 845
lts/source		68.6 %	2181 / 3179	65.8 %	150 / 228
lts/test		96.5 %	1576 / 1633	99.0 %	205 / 207
modal_formula/include/mcrl2/modal_formula		65.0 %	2894 / 4451	52.1 %	890 / 1708
modal_formula/include/mcrl2/modal_formula/detail		94.1 %	16 / 17	100.0 %	7 / 7
modal_formula/source		54.0 %	102 / 189	27.7 %	18 / 65
modal_formula/test		97.0 %	319 / 329	100.0 %	60 / 60
pbes/include/mcrl2/pbes		82.8 %	4193 / 5061	71.6 %	1174 / 1639
pbes/include/mcrl2/pbes/detail		60.7 %	2778 / 4573	43.7 %	540 / 1237
pbes/include/mcrl2/pbes/rewriters		67.7 %	291 / 430	67.1 %	149 / 222
pbes/include/mcrl2/pbes/tools		4.2 %	8 / 192	37.5 %	6 / 16
pbes/source		79.5 %	887 / 1116	73.6 %	128 / 174
pbes/test		95.0 %	2296 / 2417	96.5 %	445 / 461
pg/include/mcrl2/pg		0.0 %	0 / 485	0.0 %	0 / 192
pg/source		0.0 %	0 / 1768	0.0 %	0 / 194
process/include/mcrl2/process		68.7 %	2787 / 4054	54.5 %	795 / 1458
process/include/mcrl2/process/detail		54.5 %	426 / 781	56.4 %	93 / 165
process/source		63.7 %	72 / 113	37.5 %	24 / 64
process/test		95.9 %	683 / 712	99.5 %	181 / 182
smt/include/mcrl2/smt		0.0 %	0 / 698	0.0 %	0 / 94
smt/source		0.0 %	0 / 227	0.0 %	0 / 18
symbolic/include/mcrl2/symbolic		42.3 %	105 / 248	42.5 %	17 / 40
symbolic/source		76.5 %	65 / 85	94.1 %	16 / 17
symbolic/test		100.0 %	17 / 17	100.0 %	6 / 6
utilities/include/mcrl2/utilities		86.9 %	1140 / 1312	84.2 %	960 / 1140
utilities/include/mcrl2/utilities/detail		98.4 %	439 / 446	78.1 %	2403 / 3078
utilities/source		46.5 %	322 / 692	71.9 %	46 / 64
utilities/test		98.5 %	679 / 689	98.8 %	166 / 168

Generated by: LCOV version 1.13