File	Line Coverage			Functions		Branches
convert_bdd.rs	97.41%	97.41%	226 / 232	56%	14 / 25	100%	12 / 12
convert_ldd.rs	92.44%	92.44%	110 / 119	44.44%	4 / 9	100%	20 / 20
cube_iter.rs	94.71%	94.71%	161 / 170	85.37%	35 / 41	100%	12 / 12
dependency_graph.rs	43.75%	43.75%	49 / 112	13.95%	6 / 43	40%	4 / 10
format.rs	100%	100%	15 / 15	50%	3 / 6	100%	0 / 0
io.rs	0%	0%	0 / 10	0%	0 / 2	0%	0 / 6
io_sylvan.rs	71.58%	71.58%	68 / 95	28.57%	10 / 35	100%	0 / 0
io_symbolic_lts.rs	95.65%	95.65%	66 / 69	60%	3 / 5	100%	2 / 2
ldd_to_bdd.rs	86.76%	86.76%	249 / 287	48.65%	18 / 37	86.67%	26 / 30
mince_variable_order.rs	0%	0%	0 / 177	0%	0 / 42	0%	0 / 26
random_bdd.rs	98%	98%	49 / 50	75%	12 / 16	100%	2 / 2
random_symbolic_lts.rs	98.15%	98.15%	53 / 54	50%	2 / 4	100%	0 / 0
reachability.rs	78.95%	78.95%	30 / 38	44.44%	8 / 18	100%	4 / 4
reachability_bdd.rs	93.15%	93.15%	68 / 73	50%	8 / 16	100%	4 / 4
refine.rs	0%	0%	0 / 125	0%	0 / 40	0%	0 / 8
sigref.rs	69.12%	69.12%	450 / 651	42.27%	41 / 97	64.44%	58 / 90
symbolic_lts.rs	84.17%	84.17%	101 / 120	39.29%	22 / 56	100%	0 / 0
symbolic_lts_bdd.rs	97.3%	97.3%	216 / 222	46.67%	21 / 45	100%	10 / 10
symbolic_quotient.rs	98.28%	98.28%	57 / 58	40%	4 / 10	100%	0 / 0
util.rs	99.2%	99.2%	247 / 249	70.27%	26 / 37	100%	24 / 24