File	Line Coverage			Functions		Branches
block_partition.rs	90.51%	90.51%	286 / 316	73.4%	69 / 94	94.74%	36 / 38
compare.rs	47.37%	47.37%	9 / 19	50%	1 / 2	100%	0 / 0
indexed_partition.rs	24.24%	24.24%	16 / 66	18.18%	4 / 22	0%	0 / 6
quotient.rs	74.19%	74.19%	46 / 62	20%	3 / 15	50%	12 / 24
reduce.rs	60.87%	60.87%	14 / 23	66.67%	2 / 3	100%	0 / 0
scc_decomposition.rs	99.32%	99.32%	147 / 148	52%	13 / 25	100%	28 / 28
signature_refinement.rs	95.26%	95.26%	342 / 359	43.75%	42 / 96	96.15%	50 / 52
signatures.rs	98.41%	98.41%	186 / 189	46.3%	25 / 54	100%	30 / 30
simple_block_partition.rs	79.03%	79.03%	98 / 124	37.78%	17 / 45	100%	10 / 10
sort_topological.rs	97.2%	97.2%	104 / 107	63.64%	28 / 44	100%	20 / 20
weak_bisimulation.rs	96.84%	96.84%	92 / 95	33.33%	8 / 24	100%	18 / 18