File	Line Coverage			Functions		Branches
block_partition.rs	90.51%	90.51%	286 / 316	73.4%	69 / 94	94.74%	36 / 38
compare.rs	36.84%	36.84%	7 / 19	50%	2 / 4	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	30%	3 / 10	100%	0 / 0
quotient.rs	77.97%	77.97%	46 / 59	23.08%	3 / 13	50%	12 / 24
reduce.rs	63.64%	63.64%	14 / 22	20.83%	5 / 24	100%	0 / 0
scc_decomposition.rs	100%	100%	48 / 48	57.89%	11 / 19	100%	12 / 12
signature_refinement.rs	93.49%	93.49%	488 / 522	37.65%	64 / 170	97.14%	68 / 70
signatures.rs	98.71%	98.71%	230 / 233	45%	27 / 60	100%	38 / 38
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	95.15%	95.15%	98 / 103	30.56%	11 / 36	100%	20 / 20