LCOV - code coverage report

Current view: top level Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 66171 85327 77.5 % Date: 2019-10-17 19:07:16 Functions: 25257 38385 65.8 % 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		98.2 %	502 / 511	81.1 %	1327 / 1637
atermpp/include/mcrl2/atermpp/detail		86.8 %	845 / 973	70.5 %	3018 / 4281
atermpp/source		85.9 %	323 / 376	91.5 %	54 / 59
atermpp/test		97.1 %	532 / 548	98.4 %	124 / 126
bes/include/mcrl2/bes		85.7 %	841 / 981	79.8 %	257 / 322
bes/include/mcrl2/bes/detail		71.3 %	72 / 101	75.0 %	21 / 28
bes/source		65.8 %	133 / 202	72.7 %	24 / 33
bes/test		97.9 %	524 / 535	100.0 %	89 / 89
core/include/mcrl2/core		80.9 %	266 / 329	47.1 %	4200 / 8909
core/include/mcrl2/core/detail		74.3 %	2542 / 3423	92.5 %	789 / 853
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.6 %	9247 / 10318	64.2 %	3426 / 5336
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		90.7 %	136 / 150	100.0 %	21 / 21
data/include/mcrl2/data/substitutions		87.6 %	241 / 275	88.4 %	76 / 86
data/source		73.6 %	2099 / 2850	66.5 %	129 / 194
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.8 %	4061 / 4237	98.4 %	740 / 752
gui/include/mcrl2/gui		0.0 %	0 / 32	0.0 %	0 / 33
gui/source		0.0 %	0 / 367	0.0 %	0 / 46
lps/include/mcrl2/lps		88.0 %	3201 / 3636	85.7 %	951 / 1110
lps/include/mcrl2/lps/detail		78.6 %	440 / 560	74.4 %	87 / 117
lps/source		78.8 %	4724 / 5994	85.0 %	324 / 381
lps/test		96.6 %	2105 / 2180	99.8 %	470 / 471
lts/include/mcrl2/lts		88.7 %	1031 / 1162	82.9 %	290 / 350
lts/include/mcrl2/lts/detail		87.9 %	4764 / 5419	84.8 %	699 / 824
lts/source		71.0 %	2133 / 3003	65.7 %	134 / 204
lts/test		99.0 %	1354 / 1368	100.0 %	165 / 165
modal_formula/include/mcrl2/modal_formula		70.8 %	3031 / 4283	55.0 %	902 / 1641
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		84.0 %	3882 / 4622	73.5 %	1108 / 1507
pbes/include/mcrl2/pbes/detail		60.9 %	2794 / 4590	43.7 %	541 / 1238
pbes/include/mcrl2/pbes/rewriters		68.3 %	291 / 426	67.7 %	149 / 220
pbes/include/mcrl2/pbes/tools		4.4 %	8 / 181	40.0 %	6 / 15
pbes/source		79.8 %	835 / 1047	73.7 %	123 / 167
pbes/test		96.1 %	2121 / 2208	99.3 %	400 / 403
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		74.8 %	2968 / 3967	61.2 %	869 / 1421
process/include/mcrl2/process/detail		63.6 %	497 / 781	65.5 %	108 / 165
process/source		64.0 %	73 / 114	36.9 %	24 / 65
process/test		95.8 %	659 / 688	99.4 %	174 / 175
smt/include/mcrl2/smt		0.0 %	0 / 699	0.0 %	0 / 94
smt/source		0.0 %	0 / 227	0.0 %	0 / 18
trace/include/mcrl2/trace		63.5 %	139 / 219	76.7 %	23 / 30
trace/test		87.7 %	50 / 57	100.0 %	11 / 11
utilities/include/mcrl2/utilities		85.8 %	1079 / 1257	81.7 %	698 / 854
utilities/include/mcrl2/utilities/detail		98.2 %	377 / 384	77.3 %	1761 / 2278
utilities/source		46.5 %	320 / 688	71.9 %	46 / 64
utilities/test		98.8 %	597 / 604	99.3 %	140 / 141

Generated by: LCOV version 1.13