File	Line Coverage			Functions		Branches
dependency_graph.rs	59.82%	59.82%	67 / 112	27.91%	12 / 43	40%	4 / 10
io.rs	0%	0%	0 / 10	0%	0 / 2	0%	0 / 6
mince_variable_order.rs	73.95%	73.95%	193 / 261	40.68%	24 / 59	85.71%	24 / 28
random_symbolic_lts.rs	91.55%	91.55%	65 / 71	83.33%	5 / 6	100%	4 / 4
random_vector_set.rs	100%	100%	27 / 27	100%	11 / 11	100%	0 / 0
symbolic_lps.rs	75.28%	75.28%	67 / 89	33.33%	14 / 42	100%	0 / 0
symbolic_lps_explore.rs	0%	0%	0 / 136	0%	0 / 46	100%	0 / 0
util.rs	88.56%	88.56%	271 / 306	54.1%	33 / 61	100%	26 / 26