File	Line Coverage			Functions		Branches
cube_iter.rs	94.68%	94.68%	89 / 94	88.24%	15 / 17	100%	12 / 12
format.rs	61.54%	61.54%	8 / 13	16.67%	1 / 6	100%	0 / 0
io_symbolic_lts.rs	97.56%	97.56%	40 / 41	60%	3 / 5	100%	2 / 2
ldd_to_bdd.rs	88.17%	88.17%	82 / 93	54.17%	13 / 24	100%	12 / 12
random_bdd.rs	97.78%	97.78%	44 / 45	71.43%	15 / 21	100%	2 / 2
symbolic_lts.rs	48.78%	48.78%	20 / 41	11.11%	2 / 18	100%	0 / 0