File	Line Coverage			Functions		Branches
convert.rs	88.52%	88.52%	108 / 122	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	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	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	83.93%	83.93%	235 / 280	45.95%	17 / 37	80%	24 / 30
random_bdd.rs	98%	98%	49 / 50	75%	12 / 16	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	93.06%	93.06%	67 / 72	50%	8 / 16	100%	4 / 4
reorder.rs	0%	0%	0 / 179	0%	0 / 42	0%	0 / 28
sigref.rs	62.63%	62.63%	295 / 471	36.11%	26 / 72	61.54%	32 / 52
symbolic_lts.rs	82.57%	82.57%	90 / 109	38%	19 / 50	100%	0 / 0
symbolic_lts_bdd.rs	91.57%	91.57%	163 / 178	39.02%	16 / 41	100%	10 / 10
util.rs	99.2%	99.2%	247 / 249	70.27%	26 / 37	100%	24 / 24