Directory	Line Coverage			Functions		Branches
crates/aterm/src	70%	70%	875 / 1250	55.47%	700 / 1262	94.74%	72 / 76
crates/aterm/src/storage	85.11%	85.11%	846 / 994	79.34%	361 / 455	85.71%	60 / 70
crates/aterm/tests	100%	100%	5 / 5	100%	1 / 1	100%	0 / 0
crates/collections/src	78%	78%	1000 / 1282	60.08%	581 / 967	87.1%	108 / 124
crates/data/src	81.45%	81.45%	303 / 372	52.76%	172 / 326	88.89%	48 / 54
crates/io/src	83.69%	83.69%	195 / 233	57.56%	156 / 271	73.68%	28 / 38
crates/ldd/src	89.24%	89.24%	970 / 1087	67.3%	142 / 211	90%	180 / 200
crates/ldd/src/storage	91.51%	91.51%	194 / 212	72.12%	75 / 104	100%	10 / 10
crates/lts/src	72.32%	72.32%	1045 / 1445	44.95%	365 / 812	85.53%	130 / 152
crates/macros/src	88.89%	88.89%	112 / 126	73.91%	17 / 23	100%	14 / 14
crates/number/src	98.91%	98.91%	91 / 92	82.5%	33 / 40	100%	14 / 14
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.95%	92.95%	2082 / 2240	36.05%	496 / 1376	95.6%	304 / 318
crates/reduction/tests	55.29%	55.29%	47 / 85	66.67%	8 / 12	100%	2 / 2
crates/refinement/src	90.77%	90.77%	698 / 769	58.87%	136 / 231	100%	96 / 96
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.41%	79.41%	405 / 510	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%	90%	396 / 440	86.99%	127 / 146	100%	28 / 28
crates/symbolic/src	75.7%	75.7%	2215 / 2926	40.58%	237 / 584	68.46%	178 / 260
crates/syntax/src	71.08%	71.08%	1042 / 1466	45.27%	153 / 338	88.64%	78 / 88
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	80.85%	80.85%	967 / 1196	65.39%	1024 / 1566	90.24%	74 / 82
crates/utilities/src	67.28%	67.28%	257 / 382	52.49%	432 / 823	66.67%	16 / 24
crates/vpg/src	84.83%	84.83%	1605 / 1892	52.65%	288 / 547	93.71%	268 / 286
crates/vpg/src/parity_games	84.09%	84.09%	1031 / 1226	56.18%	259 / 461	91.94%	114 / 124
crates/vpg/tests	99.22%	99.22%	127 / 128	87.5%	21 / 24	100%	4 / 4
crates/xtask/src	0%	0%	0 / 216	0%	0 / 15	100%	0 / 0
tools/lts/src	0.71%	0.71%	5 / 700	1.02%	1 / 98	2.04%	2 / 98
tools/rewrite/src	0%	0%	0 / 152	0%	0 / 8	100%	0 / 0
tools/sym/src	0%	0%	0 / 185	0%	0 / 19	100%	0 / 0
tools/vpg/src	0%	0%	0 / 283	0%	0 / 34	100%	0 / 0