File	Line Coverage			Functions		Branches
block_partition.rs	87.12%	87.12%	318 / 365	92.13%	82 / 89	100%	0 / 0
indexed_partition.rs	72.22%	72.22%	52 / 72	80.77%	21 / 26	100%	0 / 0
quotient.rs	89.47%	89.47%	51 / 57	86.67%	13 / 15	100%	0 / 0
scc_decomposition.rs	99.31%	99.31%	143 / 144	100%	19 / 19	100%	0 / 0
signature_refinement.rs	95.1%	95.1%	330 / 347	100%	58 / 58	100%	0 / 0
signatures.rs	98.06%	98.06%	152 / 155	94.44%	34 / 36	100%	0 / 0
sort_topological.rs	94.59%	94.59%	140 / 148	97.01%	65 / 67	100%	0 / 0