File	Line Coverage			Functions		Branches
display_dot.rs	0%	0%	0 / 60	0%	0 / 9	100%	0 / 0
io.rs	0%	0%	0 / 10	0%	0 / 1	100%	0 / 0
io_pg.rs	81.33%	81.33%	61 / 75	50%	4 / 8	100%	2 / 2
io_vpg.rs	80.85%	80.85%	114 / 141	64.29%	9 / 14	100%	6 / 6
make_total.rs	100%	100%	40 / 40	100%	4 / 4	100%	4 / 4
parity_game.rs	96.39%	96.39%	160 / 166	100%	23 / 23	100%	20 / 20
player.rs	64.52%	64.52%	20 / 31	66.67%	4 / 6	100%	2 / 2
predecessors.rs	100%	100%	33 / 33	100%	6 / 6	100%	0 / 0
random_game.rs	100%	100%	59 / 59	100%	9 / 9	100%	2 / 2
variability_parity_game.rs	82.52%	82.52%	118 / 143	96.43%	27 / 28	100%	12 / 12
variability_predecessors.rs	100%	100%	37 / 37	100%	7 / 7	100%	0 / 0