| File | Line Coverage | Functions | Branches | ||||
|---|---|---|---|---|---|---|---|
| antichain.rs | 92.56% | 112 / 121 | 74.19% | 46 / 62 | 100% | 12 / 12 | |
| counterexample_constructor.rs | 76.47% | 26 / 34 | 75% | 12 / 16 | 100% | 2 / 2 | |
| failures_refinement.rs | 97.04% | 262 / 270 | 49.46% | 46 / 93 | 100% | 50 / 50 | |
| impossible_futures.rs | 100% | 179 / 179 | 59.52% | 25 / 42 | 100% | 10 / 10 | |
| refinement.rs | 76.47% | 130 / 170 | 54.17% | 13 / 24 | 100% | 20 / 20 | |