LCOV - code coverage report

Current view: top level Coverage Total Hit Test: mcrl2_coverage.info.cleaned Lines: 71.3 % 126170 90000 Test Date: 2025-03-16 03:17:52 Functions: 58.2 % 141093 82134 Legend: Rating: low: < 75 % medium: >= 75 % high: >= 90 %

Directory	Line Coverage				Function Coverage
	Rate		Total	Hit	Rate	Total	Hit
atermpp/example		0.0 %	20		0.0 %	4
atermpp/include/mcrl2/atermpp		97.0 %	605	587	47.6 %	4061	1932
atermpp/include/mcrl2/atermpp/detail		87.4 %	1180	1031	36.6 %	21165	7747
atermpp/include/mcrl2/atermpp/standard_containers		95.8 %	118	113	92.7 %	109	101
atermpp/include/mcrl2/atermpp/standard_containers/detail		100.0 %	53	53	77.3 %	22	17
atermpp/source		83.9 %	434	364	89.1 %	55	49
atermpp/test		96.9 %	654	634	98.1 %	106	104
core/include/mcrl2/core		81.9 %	304	249	35.8 %	12385	4432
core/include/mcrl2/core/detail		72.8 %	3551	2585	92.9 %	931	865
core/source		29.3 %	256	75	51.4 %	37	19
core/test		95.0 %	20	19	100.0 %	5	5
data/include/mcrl2/data		84.6 %	13763	11642	41.1 %	10206	4191
data/include/mcrl2/data/detail		84.9 %	945	802	78.5 %	293	230
data/include/mcrl2/data/detail/prover		26.9 %	1118	301	31.5 %	124	39
data/include/mcrl2/data/detail/rewrite		74.5 %	719	536	81.8 %	176	144
data/include/mcrl2/data/experimental		78.0 %	945	737	87.7 %	138	121
data/include/mcrl2/data/rewriters		57.3 %	344	197	73.3 %	45	33
data/include/mcrl2/data/substitutions		79.1 %	296	234	82.5 %	80	66
data/source		76.5 %	3222	2466	70.1 %	201	141
data/source/detail/prover		0.0 %	56		0.0 %	6
data/source/detail/rewrite		81.8 %	2413	1974	88.3 %	137	121
data/test		91.3 %	4494	4103	96.3 %	725	698
gui/include/mcrl2/gui		0.0 %	19		0.0 %	6
gui/source		0.0 %	438		0.0 %	48
lps/example		0.0 %	26		0.0 %	3
lps/include/mcrl2/lps		80.5 %	5665	4561	70.5 %	1585	1118
lps/include/mcrl2/lps/detail		78.6 %	589	463	72.6 %	117	85
lps/include/mcrl2/lps/rewriters		56.6 %	76	43	70.0 %	10	7
lps/source		78.4 %	5628	4413	85.7 %	328	281
lps/test		97.4 %	2575	2508	99.8 %	532	531
lts/include/mcrl2/lts		73.5 %	2303	1692	70.1 %	538	377
lts/include/mcrl2/lts/detail		87.1 %	9387	8178	88.2 %	973	858
lts/include/mcrl2/lts/test		86.0 %	107	92	100.0 %	2	2
lts/source		76.8 %	2470	1897	65.9 %	167	110
lts/test		95.8 %	1397	1338	99.1 %	232	230
modal_formula/include/mcrl2/modal_formula		63.8 %	5530	3530	41.6 %	3045	1267
modal_formula/include/mcrl2/modal_formula/detail		93.8 %	16	15	100.0 %	3	3
modal_formula/source		58.5 %	236	138	22.1 %	68	15
modal_formula/test		97.1 %	350	340	100.0 %	58	58
pbes/example		0.0 %	12		0.0 %	3
pbes/include/mcrl2/pbes		78.3 %	6288	4922	59.4 %	2220	1318
pbes/include/mcrl2/pbes/detail		60.3 %	5109	3080	41.7 %	1232	514
pbes/include/mcrl2/pbes/rewriters		64.0 %	692	443	60.5 %	266	161
pbes/include/mcrl2/pbes/tools		6.8 %	207	14	16.7 %	12	2
pbes/source		74.1 %	1295	960	69.8 %	169	118
pbes/test		96.1 %	2532	2433	99.2 %	380	377
pg/example		0.0 %	42		0.0 %	1
pg/include/mcrl2/pg		0.0 %	469		0.0 %	149
pg/source		0.0 %	1793		0.0 %	154
pres/include/mcrl2/pres		46.9 %	4644	2180	28.7 %	1833	526
pres/include/mcrl2/pres/detail		30.8 %	1064	328	14.9 %	443	66
pres/include/mcrl2/pres/rewriters		34.3 %	840	288	35.7 %	143	51
pres/include/mcrl2/pres/tools		0.0 %	133		0.0 %	8
pres/source		20.2 %	272	55	21.1 %	71	15
pres/test		88.9 %	199	177	100.0 %	19	19
process/include/mcrl2/process		69.1 %	4283	2959	49.6 %	1914	950
process/include/mcrl2/process/detail		53.8 %	855	460	52.5 %	141	74
process/source		63.1 %	111	70	34.4 %	61	21
process/test		95.1 %	687	653	99.4 %	164	163
smt/example		0.0 %	30		0.0 %	2
smt/include/mcrl2/smt		0.0 %	555		0.0 %	84
smt/source		0.0 %	229		0.0 %	14
/storage/teamcity/TeamCity/buildAgent1/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/RSJIGP5BFD		0.0 %	327		0.0 %	54
/storage/teamcity/TeamCity/buildAgent1/work/c1149d302b50fc7c/build/libraries/gui/mcrl2_gui_autogen/include		0.0 %	16		0.0 %	2
/storage/teamcity/TeamCity/buildAgent1/work/c1149d302b50fc7c/src/tools/developer/lpstransform		0.0 %	51		0.0 %	12
/storage/teamcity/TeamCity/buildAgent1/work/c1149d302b50fc7c/src/tools/developer/ltsconvertsymbolic		0.0 %	154		0.0 %	14
/storage/teamcity/TeamCity/buildAgent1/work/c1149d302b50fc7c/src/tools/developer/pbestransform		0.0 %	188		0.0 %	39
symbolic/include/mcrl2/symbolic		13.8 %	232	32	29.6 %	27	8
symbolic/source		96.4 %	84	81	100.0 %	14	14
symbolic/test		100.0 %	53	53	100.0 %	8	8
/usr/include/boost		3.3 %	30	1	3.1 %	32	1
/usr/include/boost/algorithm/cxx11		80.0 %	5	4	100.0 %	1	1
/usr/include/boost/algorithm/string		96.0 %	101	97	100.0 %	23	23
/usr/include/boost/algorithm/string/detail		90.2 %	82	74	100.0 %	26	26
/usr/include/boost/assert		0.0 %	10		0.0 %	5
/usr/include/boost/bind		44.4 %	63	28	33.3 %	93	31
/usr/include/boost/core		31.4 %	35	11	51.6 %	64	33
/usr/include/boost/dynamic_bitset		93.6 %	110	103	100.0 %	32	32
/usr/include/boost/dynamic_bitset/detail		80.0 %	15	12	50.0 %	2	1
/usr/include/boost/exception		0.0 %	194		0.0 %	55
/usr/include/boost/exception/detail		0.0 %	5		0.0 %	2
/usr/include/boost/function		69.5 %	190	132	57.8 %	180	104
/usr/include/boost/graph		93.5 %	92	86	93.8 %	48	45
/usr/include/boost/graph/detail		59.8 %	112	67	84.3 %	51	43
/usr/include/boost/io		100.0 %	13	13	100.0 %	3	3
/usr/include/boost/iterator		94.4 %	71	67	82.6 %	253	209
/usr/include/boost/move		100.0 %	2	2	-
/usr/include/boost/multiprecision		56.6 %	339	192	61.3 %	119	73
/usr/include/boost/multiprecision/cpp_int		57.8 %	812	469	68.8 %	77	53
/usr/include/boost/multiprecision/detail		77.0 %	161	124	78.0 %	41	32
/usr/include/boost/optional		91.4 %	70	64	66.7 %	57	38
/usr/include/boost/optional/detail		100.0 %	10	10	66.7 %	18	12
/usr/include/boost/pending		100.0 %	12	12	100.0 %	6	6
/usr/include/boost/property_map		100.0 %	11	11	100.0 %	6	6
/usr/include/boost/range		88.9 %	90	80	92.2 %	77	71
/usr/include/boost/range/adaptor		100.0 %	13	13	100.0 %	5	5
/usr/include/boost/range/algorithm		0.0 %	8		0.0 %	3
/usr/include/boost/range/detail		100.0 %	9	9	100.0 %	3	3
/usr/include/boost/smart_ptr		60.0 %	120	72	54.5 %	178	97
/usr/include/boost/smart_ptr/detail		62.4 %	85	53	32.9 %	234	77
/usr/include/boost/test		60.2 %	88	53	63.2 %	57	36
/usr/include/boost/test/detail		90.9 %	11	10	13.6 %	22	3
/usr/include/boost/test/impl		34.0 %	3791	1290	37.7 %	451	170
/usr/include/boost/test/output		44.8 %	29	13	62.5 %	8	5
/usr/include/boost/test/tools		68.1 %	47	32	66.7 %	36	24
/usr/include/boost/test/tools/detail		18.2 %	22	4	10.3 %	864	89
/usr/include/boost/test/tools/old		50.0 %	34	17	96.0 %	199	191
/usr/include/boost/test/tree		64.6 %	79	51	99.0 %	3098	3066
/usr/include/boost/test/utils		66.1 %	227	150	72.1 %	1140	822
/usr/include/boost/test/utils/basic_cstring		73.6 %	174	128	66.7 %	57	38
/usr/include/boost/test/utils/iterator		0.0 %	104		0.0 %	21
/usr/include/boost/test/utils/runtime		43.8 %	306	134	52.9 %	259	137
/usr/include/boost/test/utils/runtime/cla		22.9 %	258	59	52.6 %	19	10
/usr/include/boost/test/utils/runtime/env		88.2 %	17	15	100.0 %	3	3
/usr/include/boost/tuple/detail		100.0 %	17	17	100.0 %	20	20
/usr/include/boost/type_traits		100.0 %	2	2	100.0 %	2	2
/usr/include/c++/13		87.6 %	437	383	79.0 %	4267	3371
/usr/include/c++/13/bits		77.2 %	7387	5701	70.3 %	54095	38053
/usr/include/c++/13/ext		91.8 %	49	45	74.8 %	1166	872
/usr/include/x86_64-linux-gnu/c++/13/bits		80.0 %	15	12	100.0 %	5	5
/usr/include/x86_64-linux-gnu/qt6/QtCore		0.0 %	544		0.0 %	287
/usr/include/x86_64-linux-gnu/qt6/QtGui		0.0 %	66		0.0 %	39
/usr/include/x86_64-linux-gnu/qt6/QtWidgets		0.0 %	12		0.0 %	6
utilities/include/mcrl2/utilities		81.1 %	1747	1417	78.0 %	1366	1065
utilities/include/mcrl2/utilities/detail		85.6 %	653	559	76.5 %	3351	2564
utilities/source		46.1 %	731	337	66.7 %	54	36
utilities/test		97.4 %	685	667	97.7 %	128	125

Generated by: LCOV version 2.0-1