LCOV - code coverage report

Current view: top level Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 67328 87030 77.4 % Date: 2020-04-01 00:44:46 Functions: 26310 40667 64.7 % Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Directory	Line Coverage			Functions
/storage/teamcity/TeamCity/buildAgent1/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/RSJIGP5BFD		0.0 %	0 / 329	0.0 %	0 / 56
/storage/teamcity/TeamCity/buildAgent1/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/include		0.0 %	0 / 16	0.0 %	0 / 8
atermpp/include/mcrl2/atermpp		99.1 %	526 / 531	78.5 %	1375 / 1751
atermpp/include/mcrl2/atermpp/detail		86.7 %	832 / 960	67.6 %	2944 / 4354
atermpp/source		86.2 %	330 / 383	90.2 %	55 / 61
atermpp/test		97.1 %	539 / 555	98.4 %	126 / 128
bes/include/mcrl2/bes		85.4 %	819 / 959	79.9 %	254 / 318
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		80.9 %	258 / 319	46.2 %	4253 / 9203
core/include/mcrl2/core/detail		74.4 %	2440 / 3278	92.0 %	766 / 833
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.9 %	9247 / 10287	61.9 %	3499 / 5652
data/include/mcrl2/data/detail		83.1 %	505 / 608	82.9 %	170 / 205
data/include/mcrl2/data/detail/prover		26.6 %	286 / 1074	33.6 %	47 / 140
data/include/mcrl2/data/detail/rewrite		79.7 %	405 / 508	92.6 %	137 / 148
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.6 %	241 / 275	88.5 %	77 / 87
data/source		74.7 %	2149 / 2875	68.7 %	134 / 195
data/source/detail/prover		1.8 %	1 / 56	25.0 %	2 / 8
data/source/detail/rewrite		83.3 %	1566 / 1881	88.6 %	140 / 158
data/test		95.9 %	4105 / 4281	98.4 %	743 / 755
gui/include/mcrl2/gui		0.0 %	0 / 32	0.0 %	0 / 33
gui/source		0.0 %	0 / 371	0.0 %	0 / 46
lps/include/mcrl2/lps		84.8 %	3526 / 4159	79.0 %	1081 / 1368
lps/include/mcrl2/lps/detail		78.7 %	444 / 564	74.8 %	89 / 119
lps/source		79.0 %	4812 / 6091	85.2 %	339 / 398
lps/test		96.6 %	2109 / 2184	99.8 %	472 / 473
lts/include/mcrl2/lts		76.0 %	1322 / 1740	70.3 %	402 / 572
lts/include/mcrl2/lts/detail		87.4 %	4721 / 5399	85.0 %	704 / 828
lts/source		71.7 %	2152 / 3002	69.5 %	148 / 213
lts/test		98.8 %	1362 / 1379	99.4 %	169 / 170
modal_formula/include/mcrl2/modal_formula		69.4 %	3032 / 4366	53.5 %	903 / 1689
modal_formula/include/mcrl2/modal_formula/detail		94.1 %	16 / 17	100.0 %	7 / 7
modal_formula/source		54.5 %	103 / 189	29.2 %	19 / 65
modal_formula/test		97.0 %	319 / 329	100.0 %	60 / 60
pbes/include/mcrl2/pbes		83.6 %	3997 / 4779	72.5 %	1137 / 1569
pbes/include/mcrl2/pbes/detail		60.7 %	2777 / 4573	43.7 %	540 / 1237
pbes/include/mcrl2/pbes/rewriters		67.7 %	291 / 430	67.0 %	148 / 221
pbes/include/mcrl2/pbes/tools		4.4 %	8 / 182	40.0 %	6 / 15
pbes/source		79.5 %	887 / 1116	73.6 %	128 / 174
pbes/test		96.1 %	2145 / 2232	99.3 %	410 / 413
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		75.4 %	3015 / 3997	61.7 %	885 / 1434
process/include/mcrl2/process/detail		63.6 %	497 / 781	65.5 %	108 / 165
process/source		64.9 %	74 / 114	38.5 %	25 / 65
process/test		95.8 %	662 / 691	99.4 %	176 / 177
smt/include/mcrl2/smt		0.0 %	0 / 698	0.0 %	0 / 94
smt/source		0.0 %	0 / 227	0.0 %	0 / 18
trace/include/mcrl2/trace		62.9 %	139 / 221	74.2 %	23 / 31
trace/test		87.7 %	50 / 57	100.0 %	11 / 11
utilities/include/mcrl2/utilities		86.3 %	1089 / 1262	82.2 %	844 / 1027
utilities/include/mcrl2/utilities/detail		97.9 %	417 / 426	75.6 %	2189 / 2895
utilities/source		46.5 %	320 / 688	71.9 %	46 / 64
utilities/test		98.5 %	679 / 689	98.8 %	166 / 168

Generated by: LCOV version 1.13