File	Line Coverage			Functions		Branches
block_partition.rs	90.76%	90.76%	285 / 314	78.72%	74 / 94	94.74%	36 / 38
compare.rs	100%	100%	42 / 42	60%	6 / 10	100%	0 / 0
longest_tau_path.rs	0%	0%	0 / 31	0%	0 / 6	0%	0 / 6
partition.rs	42.86%	42.86%	9 / 21	50%	5 / 10	100%	0 / 0
quotient.rs	98.6%	98.6%	141 / 143	82.35%	28 / 34	100%	28 / 28
reduce.rs	100%	100%	25 / 25	50%	9 / 18	100%	0 / 0
scc_decomposition.rs	100%	100%	47 / 47	68.42%	13 / 19	100%	12 / 12
signature_refinement.rs	94.14%	94.14%	498 / 529	55.56%	75 / 135	97.14%	68 / 70
signatures.rs	98.74%	98.74%	236 / 239	67.92%	36 / 53	100%	38 / 38
simple_block_partition.rs	80.3%	80.3%	53 / 66	44.12%	15 / 34	100%	4 / 4
sort_topological.rs	97.25%	97.25%	106 / 109	79.55%	35 / 44	100%	20 / 20
weak_bisimulation.rs	94.46%	94.46%	256 / 271	43.33%	26 / 60	100%	36 / 36