Directory	Line Coverage			Functions		Branches
3rd-party/pest_consume/src	52.17%	52.17%	72 / 138	56.62%	77 / 136	100%	0 / 0
3rd-party/pest_consume/tests	96.67%	96.67%	116 / 120	92.86%	26 / 28	100%	0 / 0
3rd-party/pest_consume_macros/src	84.48%	84.48%	283 / 335	48.53%	33 / 68	76.19%	32 / 42
crates/aterm/src	66.53%	66.53%	805 / 1210	49.01%	597 / 1218	92.11%	70 / 76
crates/aterm/src/storage	72.42%	72.42%	604 / 834	72.22%	299 / 414	78.95%	60 / 76
crates/aterm/tests	100%	100%	5 / 5	100%	1 / 1	100%	0 / 0
crates/collections/src	79.97%	79.97%	639 / 799	66.19%	415 / 627	88.89%	64 / 72
crates/data/src	78.27%	78.27%	281 / 359	51.27%	162 / 316	76.92%	40 / 52
crates/io/src	82.3%	82.3%	186 / 226	64.19%	95 / 148	73.68%	28 / 38
crates/ldd/src	90.19%	90.19%	929 / 1030	67.68%	134 / 198	98.67%	148 / 150
crates/ldd/src/storage	91.35%	91.35%	190 / 208	63.27%	62 / 98	100%	10 / 10
crates/lts/src	85.6%	85.6%	874 / 1021	56.75%	248 / 437	92.31%	120 / 130
crates/macros/src	88.98%	88.98%	113 / 127	73.91%	17 / 23	100%	14 / 14
crates/number/src	100%	100%	93 / 93	80.49%	33 / 41	100%	12 / 12
crates/preorder/src	85.06%	85.06%	131 / 154	81.82%	18 / 22	91.67%	22 / 24
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	88.86%	88.86%	1340 / 1508	50%	212 / 424	90.27%	204 / 226
crates/sabre/src	92.58%	92.58%	424 / 458	44.23%	23 / 52	87.8%	72 / 82
crates/sabre/src/matching	91.04%	91.04%	61 / 67	71.43%	15 / 21	100%	8 / 8
crates/sabre/src/set_automaton	79.13%	79.13%	402 / 508	35.42%	34 / 96	96.08%	98 / 102
crates/sabre/src/utilities	77.01%	77.01%	489 / 635	59.26%	80 / 135	78.79%	52 / 66
crates/sharedmutex/benchmarks/src	0%	0%	0 / 53	0%	0 / 4	100%	0 / 0
crates/sharedmutex/src	90.35%	90.35%	365 / 404	86.36%	114 / 132	100%	26 / 26
crates/symbolic/src	86.54%	86.54%	283 / 327	53.85%	49 / 91	100%	28 / 28
crates/syntax/src	81.7%	81.7%	893 / 1093	51.57%	115 / 223	87.5%	70 / 80
crates/syntax/tests	81.74%	81.74%	94 / 115	100%	15 / 15	100%	2 / 2
crates/tools/src	0%	0%	0 / 39	0%	0 / 8	100%	0 / 0
crates/unsafety/src	74.35%	74.35%	545 / 733	48.84%	189 / 387	82.35%	28 / 34
crates/utilities/src	72.93%	72.93%	256 / 351	59.9%	236 / 394	88.89%	16 / 18
crates/vpg/src	86.63%	86.63%	855 / 987	85%	102 / 120	85.71%	120 / 140
crates/vpg/src/parity_games	80.75%	80.75%	642 / 795	80.87%	93 / 115	100%	48 / 48
crates/xtask/src	0%	0%	0 / 198	0%	0 / 15	100%	0 / 0
tools/lts/src	0%	0%	0 / 108	0%	0 / 13	100%	0 / 0
tools/rewrite/src	0%	0%	0 / 137	0%	0 / 7	100%	0 / 0
tools/sym/src	0%	0%	0 / 32	0%	0 / 2	100%	0 / 0
tools/vpg/src	0%	0%	0 / 219	0%	0 / 11	100%	0 / 0