File	Line Coverage			Functions		Branches
convert_ldd.rs	92.5%	92.5%	111 / 120	44.44%	4 / 9	100%	20 / 20
cube_iter_ldd.rs	82.98%	82.98%	78 / 94	43.75%	7 / 16	100%	28 / 28
display.rs	20%	20%	10 / 50	20%	2 / 10	11.11%	2 / 18
io_ldd.rs	93.71%	93.71%	134 / 143	57.5%	23 / 40	100%	12 / 12
io_sylvan.rs	82.99%	82.99%	122 / 147	37.74%	20 / 53	100%	6 / 6
io_symbolic_lts.rs	95.65%	95.65%	66 / 69	60%	3 / 5	100%	2 / 2
reachability.rs	97.84%	97.84%	181 / 185	66.13%	41 / 62	100%	26 / 26
symbolic_lts.rs	86.96%	86.96%	40 / 46	40.91%	9 / 22	100%	0 / 0