LCOV - code coverage report

Current view: top level Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 70577 91645 77.0 % Date: 2022-12-06 16:11:12 Functions: 32179 59644 54.0 % 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 %	611 / 624	55.6 %	1926 / 3462
atermpp/include/mcrl2/atermpp/detail		91.1 %	1263 / 1387	42.1 %	7011 / 16656
atermpp/include/mcrl2/atermpp/standard_containers		92.0 %	81 / 88	77.0 %	77 / 100
atermpp/source		86.5 %	360 / 416	92.5 %	62 / 67
atermpp/test		96.7 %	617 / 638	97.8 %	136 / 139
bes/include/mcrl2/bes		84.1 %	860 / 1023	78.0 %	266 / 341
bes/include/mcrl2/bes/detail		68.1 %	62 / 91	73.1 %	19 / 26
bes/source		67.7 %	151 / 223	74.3 %	26 / 35
bes/test		97.9 %	524 / 535	100.0 %	89 / 89
core/include/mcrl2/core		82.4 %	239 / 290	44.3 %	4072 / 9198
core/include/mcrl2/core/detail		74.4 %	2444 / 3285	92.8 %	785 / 846
core/source		69.3 %	375 / 541	56.1 %	23 / 41
core/test		95.0 %	19 / 20	100.0 %	9 / 9
data/include/mcrl2/data		89.8 %	9783 / 10890	46.4 %	3873 / 8355
data/include/mcrl2/data/detail		82.7 %	527 / 637	83.1 %	177 / 213
data/include/mcrl2/data/detail/prover		26.4 %	287 / 1088	31.2 %	45 / 144
data/include/mcrl2/data/detail/rewrite		75.0 %	501 / 668	84.2 %	165 / 196
data/include/mcrl2/data/experimental		79.1 %	739 / 934	90.6 %	145 / 160
data/include/mcrl2/data/rewriters		85.9 %	255 / 297	100.0 %	40 / 40
data/include/mcrl2/data/substitutions		84.6 %	264 / 312	86.2 %	81 / 94
data/source		75.9 %	2158 / 2842	70.4 %	138 / 196
data/source/detail/prover		1.8 %	1 / 56	25.0 %	2 / 8
data/source/detail/rewrite		81.5 %	1802 / 2212	88.5 %	138 / 156
data/test		95.9 %	4120 / 4296	98.3 %	755 / 768
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.4 %	3766 / 4461	77.8 %	1170 / 1503
lps/include/mcrl2/lps/detail		80.7 %	482 / 597	76.0 %	95 / 125
lps/source		80.2 %	4754 / 5928	86.6 %	342 / 395
lps/test		96.6 %	2137 / 2212	99.8 %	476 / 477
lts/include/mcrl2/lts		77.1 %	1609 / 2087	71.1 %	440 / 619
lts/include/mcrl2/lts/detail		87.7 %	4942 / 5635	84.7 %	716 / 845
lts/source		68.6 %	2181 / 3179	65.2 %	150 / 230
lts/test		96.5 %	1576 / 1633	99.0 %	205 / 207
modal_formula/include/mcrl2/modal_formula		65.6 %	3062 / 4667	51.9 %	1194 / 2302
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		83.9 %	4390 / 5232	65.0 %	1364 / 2098
pbes/include/mcrl2/pbes/detail		61.0 %	2813 / 4615	43.8 %	541 / 1236
pbes/include/mcrl2/pbes/rewriters		69.1 %	404 / 585	65.7 %	165 / 251
pbes/include/mcrl2/pbes/tools		4.2 %	8 / 192	37.5 %	6 / 16
pbes/source		79.1 %	876 / 1107	73.4 %	127 / 173
pbes/test		96.3 %	2163 / 2247	99.3 %	414 / 417
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		69.4 %	2914 / 4197	50.9 %	1008 / 1981
process/include/mcrl2/process/detail		54.3 %	430 / 792	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		14.2 %	16 / 113	27.3 %	6 / 22
symbolic/source		76.5 %	65 / 85	94.1 %	16 / 17
symbolic/test		100.0 %	17 / 17	100.0 %	6 / 6
utilities/include/mcrl2/utilities		87.9 %	1190 / 1354	86.7 %	939 / 1083
utilities/include/mcrl2/utilities/detail		91.5 %	546 / 597	74.4 %	2144 / 2882
utilities/source		46.4 %	322 / 694	71.9 %	46 / 64
utilities/test		98.5 %	679 / 689	98.8 %	166 / 168

Generated by: LCOV version 1.13