File	Line Coverage			Functions		Branches
convert_bdd.rs	95.83%	95.83%	207 / 216	52.38%	11 / 21	100%	12 / 12
cube_iter.rs	94.67%	94.67%	160 / 169	85.37%	35 / 41	100%	12 / 12
format.rs	100%	100%	15 / 15	50%	3 / 6	100%	0 / 0
ldd_to_bdd.rs	88.54%	88.54%	278 / 314	50%	20 / 40	92.86%	26 / 28
random_bdd.rs	96.23%	96.23%	51 / 53	75%	12 / 16	100%	4 / 4
reachability_bdd.rs	93.15%	93.15%	68 / 73	50%	8 / 16	100%	4 / 4
refine.rs	0%	0%	0 / 129	0%	0 / 40	0%	0 / 4
sigref.rs	77.58%	77.58%	533 / 687	48%	48 / 100	84.09%	74 / 88
symbolic_lts_bdd.rs	97.71%	97.71%	213 / 218	46.81%	22 / 47	100%	10 / 10
symbolic_quotient.rs	98.28%	98.28%	57 / 58	40%	4 / 10	100%	0 / 0