Directory	Line Coverage			Functions		Branches
libraries/gui/src	0%	0%	0 / 39	0%	0 / 2	100%	0 / 0
libraries/io/src	97.78%	97.78%	220 / 225	71.19%	42 / 59	100%	0 / 0
libraries/io/tests	100%	100%	24 / 24	100%	20 / 20	100%	0 / 0
libraries/lts/src	93.68%	93.68%	163 / 174	88.41%	61 / 69	100%	0 / 0
libraries/lts/src/reduction	92.08%	92.08%	1186 / 1288	94.19%	292 / 310	100%	0 / 0
libraries/mcrl2-macros/src	97.74%	97.74%	216 / 221	73.68%	14 / 19	100%	0 / 0
libraries/mcrl2-syntax/src	62.67%	62.67%	136 / 217	60.05%	1031 / 1717	100%	0 / 0
libraries/mcrl2-syntax/tests	83.33%	83.33%	15 / 18	100%	314 / 314	100%	0 / 0
libraries/mcrl2-sys/src	70%	70%	42 / 60	32.54%	41 / 126	100%	0 / 0
libraries/mcrl2/src	100%	100%	19 / 19	57.14%	4 / 7	100%	0 / 0
libraries/mcrl2/src/aterm	82.07%	82.07%	874 / 1065	63.99%	414 / 647	100%	0 / 0
libraries/mcrl2/src/data	64.89%	64.89%	207 / 319	17.68%	84 / 475	100%	0 / 0
libraries/mcrl2/tests	100%	100%	8 / 8	100%	2 / 2	100%	0 / 0
libraries/rec-tests/src	87.63%	87.63%	255 / 291	88.58%	318 / 359	100%	0 / 0
libraries/rec-tests/tests	94.29%	94.29%	33 / 35	100%	32 / 32	100%	0 / 0
libraries/sabre/src	92.22%	92.22%	403 / 437	58.33%	21 / 36	100%	0 / 0
libraries/sabre/src/matching	89.74%	89.74%	70 / 78	85.71%	18 / 21	100%	0 / 0
libraries/sabre/src/set_automaton	79.58%	79.58%	456 / 573	33.72%	29 / 86	100%	0 / 0
libraries/sabre/src/utilities	84.48%	84.48%	637 / 754	67.48%	83 / 123	100%	0 / 0
libraries/sabre/tests	95.83%	95.83%	46 / 48	100%	23 / 23	100%	0 / 0
libraries/unsafety/src	31.82%	31.82%	7 / 22	20%	1 / 5	100%	0 / 0
libraries/utilities/src	93.14%	93.14%	285 / 306	60.32%	76 / 126	100%	0 / 0
libraries/xtask/src	0%	0%	0 / 288	0%	0 / 17	100%	0 / 0
tools/ltsgraph/library/src	85.71%	85.71%	360 / 420	84.21%	16 / 19	100%	0 / 0
tools/ltsgraph/src	10.9%	10.9%	41 / 376	24%	6 / 25	100%	0 / 0
tools/ltsinfo/src	0%	0%	0 / 33	0%	0 / 9	100%	0 / 0
tools/mcrl2rewrite/src	40.29%	40.29%	83 / 206	24%	6 / 25	100%	0 / 0