| File | Line Coverage | Functions | Branches | ||||
|---|---|---|---|---|---|---|---|
| incoming_transitions.rs | 100% | 80 / 80 | 72.09% | 31 / 43 | 100% | 8 / 8 | |
| io.rs | 0% | 0 / 59 | 0% | 0 / 14 | 0% | 0 / 8 | |
| io_aut.rs | 82.83% | 82 / 99 | 38.89% | 14 / 36 | 100% | 6 / 6 | |
| io_aut_stream.rs | 86.79% | 46 / 53 | 41.67% | 5 / 12 | 100% | 0 / 0 | |
| io_bcg.rs | 0% | 0 / 6 | 0% | 0 / 4 | 100% | 0 / 0 | |
| io_lts.rs | 88.19% | 112 / 127 | 47.62% | 10 / 21 | 100% | 16 / 16 | |
| labelled_transition_system.rs | 79.49% | 248 / 312 | 73.79% | 107 / 145 | 100% | 18 / 18 | |
| lts.rs | 60% | 9 / 15 | 40% | 8 / 20 | 100% | 0 / 0 | |
| lts_builder.rs | 86.52% | 77 / 89 | 50.98% | 26 / 51 | 100% | 10 / 10 | |
| lts_builder_fast.rs | 80.85% | 76 / 94 | 61.9% | 39 / 63 | 83.33% | 10 / 12 | |
| multi_action.rs | 95.32% | 163 / 171 | 63.01% | 46 / 73 | 100% | 40 / 40 | |
| product_lts.rs | 100% | 79 / 79 | 40% | 4 / 10 | 100% | 18 / 18 | |
| random_lts.rs | 97.44% | 76 / 78 | 65% | 13 / 20 | 100% | 10 / 10 | |
| reachability.rs | 100% | 19 / 19 | 50% | 2 / 4 | 100% | 4 / 4 | |