LCOV - code coverage report

Current view: top level Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 65934 84756 77.8 % Date: 2019-02-13 00:47:34 Functions: 26342 39913 66.0 % Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Directory	Line Coverage			Functions
/storage/teamcity/TeamCity/buildAgent1/work/c1149d302b50fc7c/build/libraries/gui		0.0 %	0 / 329	0.0 %	0 / 60
atermpp/include/mcrl2/atermpp		98.0 %	499 / 509	79.3 %	1502 / 1893
atermpp/include/mcrl2/atermpp/detail		85.5 %	942 / 1102	70.1 %	3350 / 4781
atermpp/source		89.2 %	496 / 556	94.9 %	74 / 78
atermpp/test		97.3 %	575 / 591	98.3 %	114 / 116
bes/include/mcrl2/bes		84.7 %	912 / 1077	81.7 %	281 / 344
bes/include/mcrl2/bes/detail		72.4 %	76 / 105	76.7 %	23 / 30
bes/source		74.4 %	64 / 86	63.2 %	12 / 19
bes/test		98.5 %	532 / 540	100.0 %	81 / 81
core/include/mcrl2/core		81.0 %	272 / 336	48.6 %	4467 / 9199
core/include/mcrl2/core/detail		76.1 %	2536 / 3334	93.3 %	784 / 840
core/source		69.6 %	373 / 536	56.1 %	23 / 41
core/test		96.2 %	25 / 26	100.0 %	8 / 8
data/include/mcrl2/data		90.0 %	9444 / 10496	64.6 %	3608 / 5588
data/include/mcrl2/data/detail		83.1 %	507 / 610	82.9 %	170 / 205
data/include/mcrl2/data/detail/prover		26.0 %	292 / 1124	32.6 %	47 / 144
data/include/mcrl2/data/detail/rewrite		79.7 %	404 / 507	92.6 %	137 / 148
data/include/mcrl2/data/experimental		79.2 %	743 / 938	90.6 %	145 / 160
data/include/mcrl2/data/rewriters		90.7 %	136 / 150	100.0 %	21 / 21
data/include/mcrl2/data/substitutions		87.5 %	223 / 255	88.1 %	74 / 84
data/source		72.3 %	1883 / 2603	66.3 %	118 / 178
data/source/detail/prover		1.8 %	1 / 57	25.0 %	2 / 8
data/source/detail/rewrite		83.5 %	1573 / 1884	88.6 %	140 / 158
data/test		95.9 %	4238 / 4419	98.2 %	696 / 709
gui/include/mcrl2/gui		0.0 %	0 / 30	0.0 %	0 / 28
gui/source		0.0 %	0 / 216	0.0 %	0 / 32
lps/include/mcrl2/lps		88.6 %	3198 / 3609	86.6 %	1012 / 1168
lps/include/mcrl2/lps/detail		78.6 %	441 / 561	74.4 %	87 / 117
lps/source		78.0 %	4601 / 5901	85.2 %	312 / 366
lps/test		96.6 %	2162 / 2237	99.8 %	448 / 449
lts/include/mcrl2/lts		88.3 %	964 / 1092	81.2 %	293 / 361
lts/include/mcrl2/lts/detail		87.2 %	3107 / 3565	80.1 %	566 / 707
lts/source		75.3 %	3600 / 4780	67.5 %	281 / 416
lts/test		99.0 %	1330 / 1344	100.0 %	163 / 163
modal_formula/include/mcrl2/modal_formula		71.3 %	2899 / 4065	56.3 %	999 / 1775
modal_formula/include/mcrl2/modal_formula/detail		94.1 %	16 / 17	100.0 %	7 / 7
modal_formula/source		54.1 %	86 / 159	26.7 %	16 / 60
modal_formula/test		97.0 %	320 / 330	100.0 %	59 / 59
pbes/include/mcrl2/pbes		83.0 %	3882 / 4675	75.1 %	1276 / 1700
pbes/include/mcrl2/pbes/detail		61.3 %	2771 / 4523	44.0 %	544 / 1236
pbes/include/mcrl2/pbes/rewriters		68.9 %	293 / 425	68.5 %	163 / 238
pbes/include/mcrl2/pbes/tools		4.2 %	7 / 168	40.0 %	6 / 15
pbes/source		78.9 %	735 / 932	71.1 %	108 / 152
pbes/test		96.1 %	2128 / 2215	99.3 %	398 / 401
pg/include/mcrl2/pg		0.0 %	0 / 476	0.0 %	0 / 193
pg/source		0.0 %	0 / 1761	0.0 %	0 / 194
process/include/mcrl2/process		79.3 %	3195 / 4028	64.5 %	1038 / 1609
process/include/mcrl2/process/detail		52.7 %	418 / 793	53.0 %	88 / 166
process/source		33.3 %	20 / 60	31.0 %	18 / 58
process/test		96.8 %	723 / 747	100.0 %	171 / 171
smt/include/mcrl2/smt		0.0 %	0 / 184	0.0 %	0 / 73
smt/source		0.0 %	0 / 792	0.0 %	0 / 64
trace/include/mcrl2/trace		63.5 %	134 / 211	76.7 %	23 / 30
trace/test		86.7 %	52 / 60	100.0 %	9 / 9
utilities/include/mcrl2/utilities		87.2 %	1069 / 1226	79.0 %	1560 / 1974
utilities/include/mcrl2/utilities/detail		98.3 %	228 / 232	77.4 %	657 / 849
utilities/source		40.2 %	239 / 595	66.0 %	31 / 47
utilities/test		98.8 %	570 / 577	99.2 %	132 / 133

Generated by: LCOV version 1.12