File	Line Coverage			Functions		Branches
block_partition.rs	92.6%	92.6%	313 / 338	65.22%	90 / 138	95.24%	40 / 42
compare.rs	100%	100%	172 / 172	69.23%	18 / 26	100%	0 / 0
divergence_preserving.rs	85%	85%	34 / 40	26.15%	17 / 65	100%	4 / 4
diverges.rs	86.96%	86.96%	20 / 23	28.57%	2 / 7	100%	6 / 6
longest_tau_path.rs	0%	0%	0 / 31	0%	0 / 26	0%	0 / 6
partition.rs	75%	75%	9 / 12	62.5%	5 / 8	100%	0 / 0
quotient.rs	98.04%	98.04%	250 / 255	49.5%	50 / 101	100%	64 / 64
reduce.rs	100%	100%	37 / 37	22.67%	17 / 75	100%	0 / 0
scc_decomposition.rs	100%	100%	66 / 66	64.1%	25 / 39	100%	4 / 4
signature_refinement.rs	94.15%	94.15%	596 / 633	30.04%	137 / 456	97.44%	76 / 78
signatures.rs	98.75%	98.75%	237 / 240	37.97%	60 / 158	100%	38 / 38
simple_block_partition.rs	80.3%	80.3%	53 / 66	44.12%	15 / 34	100%	4 / 4
sort_topological.rs	98.23%	98.23%	111 / 113	59.46%	44 / 74	100%	28 / 28
weak_bisimulation.rs	93.33%	93.33%	266 / 285	21.08%	39 / 185	90.91%	40 / 44