File	Line Coverage			Functions		Branches
convert.rs	88.71%	88.71%	110 / 124	33.33%	3 / 9	100%	22 / 22
cube_iter.rs	85.29%	85.29%	145 / 170	78.05%	32 / 41	100%	12 / 12
dependency_graph.rs	58.97%	58.97%	46 / 78	22.22%	6 / 27	100%	2 / 2
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	73.03%	73.03%	65 / 89	29.03%	9 / 31	100%	0 / 0
io_symbolic_lts.rs	95.65%	95.65%	66 / 69	60%	3 / 5	100%	2 / 2
ldd_to_bdd.rs	80.98%	80.98%	166 / 205	47.22%	17 / 36	78.57%	22 / 28
random_bdd.rs	97.3%	97.3%	36 / 37	60%	9 / 15	100%	2 / 2
random_symbolic_lts.rs	98.11%	98.11%	52 / 53	50%	2 / 4	100%	0 / 0
reachability.rs	74.19%	74.19%	23 / 31	25%	3 / 12	100%	2 / 2
reachability_bdd.rs	89.47%	89.47%	51 / 57	50%	8 / 16	100%	4 / 4
reorder.rs	0%	0%	0 / 3	0%	0 / 2	100%	0 / 0
sigref.rs	66.07%	66.07%	220 / 333	41.38%	24 / 58	83.33%	30 / 36
symbolic_lts.rs	82.57%	82.57%	90 / 109	38%	19 / 50	100%	0 / 0
symbolic_lts_bdd.rs	91.62%	91.62%	164 / 179	40.43%	19 / 47	100%	10 / 10
util.rs	0%	0%	0 / 15	0%	0 / 6	0%	0 / 2