LCOV - code coverage report

Current view: top level Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 67516 87974 76.7 % Date: 2021-05-09 00:46:57 Functions: 26061 40741 64.0 % 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 / 328	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.5 %	524 / 532	80.8 %	1268 / 1570
atermpp/include/mcrl2/atermpp/detail		86.3 %	849 / 984	67.3 %	2939 / 4366
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	44.3 %	4094 / 9247
core/include/mcrl2/core/detail		74.4 %	2436 / 3274	91.7 %	738 / 805
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.1 %	9492 / 10534	61.6 %	3442 / 5591
data/include/mcrl2/data/detail		83.4 %	522 / 626	83.2 %	173 / 208
data/include/mcrl2/data/detail/prover		26.7 %	288 / 1077	32.6 %	45 / 138
data/include/mcrl2/data/detail/rewrite		77.4 %	419 / 541	89.8 %	141 / 157
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.5 %	2121 / 2846	68.9 %	135 / 196
data/source/detail/prover		1.8 %	1 / 56	25.0 %	2 / 8
data/source/detail/rewrite		83.1 %	1666 / 2006	89.4 %	143 / 160
data/test		95.9 %	4113 / 4289	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.6 %	3530 / 4175	78.8 %	1083 / 1375
lps/include/mcrl2/lps/detail		80.7 %	480 / 595	75.6 %	93 / 123
lps/source		78.8 %	4742 / 6017	84.6 %	340 / 402
lps/test		96.6 %	2128 / 2203	99.8 %	474 / 475
lts/include/mcrl2/lts		76.6 %	1370 / 1789	70.5 %	408 / 579
lts/include/mcrl2/lts/detail		87.0 %	4919 / 5654	84.7 %	712 / 841
lts/source		71.8 %	2166 / 3018	69.5 %	148 / 213
lts/test		98.8 %	1377 / 1394	99.4 %	175 / 176
modal_formula/include/mcrl2/modal_formula		64.6 %	2821 / 4370	51.7 %	873 / 1688
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.7 %	4005 / 4787	72.4 %	1142 / 1577
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		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		68.8 %	2799 / 4066	54.8 %	805 / 1468
process/include/mcrl2/process/detail		54.5 %	426 / 781	56.4 %	93 / 165
process/source		64.0 %	73 / 114	38.5 %	25 / 65
process/test		95.9 %	680 / 709	99.4 %	179 / 180
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		61.8 %	144 / 233	72.7 %	24 / 33
trace/test		87.7 %	50 / 57	100.0 %	11 / 11
utilities/include/mcrl2/utilities		86.5 %	1092 / 1262	83.6 %	884 / 1057
utilities/include/mcrl2/utilities/detail		98.6 %	435 / 441	76.6 %	2332 / 3043
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