| File | Line Coverage | Functions | Branches | ||||
|---|---|---|---|---|---|---|---|
| display_dot.rs | 0% | 0 / 60 | 0% | 0 / 18 | 100% | 0 / 0 | |
| io.rs | 0% | 0 / 10 | 0% | 0 / 2 | 0% | 0 / 8 | |
| io_pg.rs | 80.52% | 62 / 77 | 26.67% | 4 / 15 | 100% | 2 / 2 | |
| io_vpg.rs | 80.14% | 117 / 146 | 34.48% | 10 / 29 | 100% | 8 / 8 | |
| parity_game.rs | 77.97% | 138 / 177 | 65.57% | 40 / 61 | 100% | 18 / 18 | |
| player.rs | 64.52% | 20 / 31 | 58.33% | 7 / 12 | 100% | 2 / 2 | |
| predecessors.rs | 100% | 34 / 34 | 100% | 12 / 12 | 100% | 0 / 0 | |
| random_game.rs | 98.51% | 66 / 67 | 60% | 12 / 20 | 100% | 4 / 4 | |
| variability_make_total.rs | 100% | 40 / 40 | 50% | 4 / 8 | 100% | 4 / 4 | |
| variability_parity_game.rs | 81.38% | 118 / 145 | 45% | 27 / 60 | 85.71% | 12 / 14 | |
| variability_predecessors.rs | 100% | 37 / 37 | 50% | 7 / 14 | 100% | 0 / 0 | |