Directory	Line Coverage			Functions		Branches
crates/aterm/src	68.05%	68.05%	835 / 1227	53.67%	643 / 1198	94.74%	72 / 76
crates/aterm/src/storage	86.47%	86.47%	748 / 865	78.89%	340 / 431	97.5%	78 / 80
crates/aterm/tests	100%	100%	5 / 5	100%	1 / 1	100%	0 / 0
crates/collections/src	80.91%	80.91%	962 / 1189	65.74%	545 / 829	86.27%	88 / 102
crates/data/src	81.6%	81.6%	306 / 375	53.61%	178 / 332	88.89%	48 / 54
crates/io/src	83.33%	83.33%	190 / 228	72.31%	141 / 195	73.68%	28 / 38
crates/ldd/src	88.56%	88.56%	898 / 1014	67.33%	136 / 202	89.25%	166 / 186
crates/ldd/src/storage	91.47%	91.47%	193 / 211	72.55%	74 / 102	100%	10 / 10
crates/lts/src	83.29%	83.29%	1067 / 1281	59.11%	305 / 516	93.33%	140 / 150
crates/macros/src	88.98%	88.98%	113 / 127	73.91%	17 / 23	100%	14 / 14
crates/number/src	100%	100%	93 / 93	82.5%	33 / 40	100%	12 / 12
crates/rec-tests/src	79.45%	79.45%	116 / 146	60.87%	14 / 23	75%	6 / 8
crates/rec-tests/tests	100%	100%	44 / 44	100%	5 / 5	100%	0 / 0
crates/reduction/src	92.43%	92.43%	1698 / 1837	62.28%	322 / 517	96.03%	242 / 252
crates/refinement/src	94.4%	94.4%	658 / 697	82.83%	82 / 99	100%	86 / 86
crates/sabre/src	86.53%	86.53%	424 / 490	35.94%	23 / 64	85.71%	72 / 84
crates/sabre/src/matching	91.04%	91.04%	61 / 67	71.43%	15 / 21	100%	8 / 8
crates/sabre/src/set_automaton	79.33%	79.33%	403 / 508	35.42%	34 / 96	96.08%	98 / 102
crates/sabre/src/utilities	77.93%	77.93%	498 / 639	60%	81 / 135	81.82%	54 / 66
crates/sharedmutex/benchmarks/src	0%	0%	0 / 53	0%	0 / 4	100%	0 / 0
crates/sharedmutex/src	90.64%	90.64%	368 / 406	85.93%	116 / 135	100%	26 / 26
crates/symbolic/src	73.88%	73.88%	1669 / 2259	39.87%	185 / 464	67.65%	138 / 204
crates/syntax/src	71.32%	71.32%	955 / 1339	48.99%	145 / 296	88.37%	76 / 86
crates/syntax/tests	78.97%	78.97%	154 / 195	100%	25 / 25	100%	2 / 2
crates/tools/src	0%	0%	0 / 54	0%	0 / 10	100%	0 / 0
crates/unsafety/src	76.19%	76.19%	560 / 735	52.71%	204 / 387	88.24%	30 / 34
crates/utilities/src	67.81%	67.81%	257 / 379	65.62%	355 / 541	72.73%	16 / 22
crates/vpg/src	83.1%	83.1%	1313 / 1580	52.75%	230 / 436	90.38%	188 / 208
crates/vpg/src/parity_games	84.01%	84.01%	993 / 1182	56.91%	243 / 427	92.19%	118 / 128
crates/xtask/src	0%	0%	0 / 203	0%	0 / 15	100%	0 / 0
tools/lts/src	0%	0%	0 / 172	0%	0 / 22	100%	0 / 0
tools/rewrite/src	0%	0%	0 / 152	0%	0 / 8	100%	0 / 0
tools/sym/src	0%	0%	0 / 147	0%	0 / 19	100%	0 / 0
tools/vpg/src	0%	0%	0 / 278	0%	0 / 34	100%	0 / 0