File	Line Coverage			Functions		Branches
block_partition.rs	90.94%	90.94%	291 / 320	63.77%	88 / 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	95.65%	95.65%	22 / 23	28.57%	2 / 7	100%	6 / 6
longest_tau_path.rs	0%	0%	0 / 31	0%	0 / 26	0%	0 / 6
partition.rs	42.86%	42.86%	9 / 21	50%	5 / 10	100%	0 / 0
quotient.rs	98.02%	98.02%	248 / 253	48.51%	49 / 101	100%	64 / 64
reduce.rs	100%	100%	37 / 37	20%	15 / 75	100%	0 / 0
scc_decomposition.rs	100%	100%	54 / 54	61.11%	22 / 36	100%	4 / 4
signature_refinement.rs	93.63%	93.63%	544 / 581	27.99%	124 / 443	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.17%	98.17%	107 / 109	58.33%	42 / 72	100%	28 / 28
weak_bisimulation.rs	93.52%	93.52%	274 / 293	21.08%	39 / 185	90.91%	40 / 44