| File | Line Coverage | Functions | Branches | ||||
|---|---|---|---|---|---|---|---|
| antichain.rs | 89.29% | 100 / 112 | 71.43% | 40 / 56 | 100% | 12 / 12 | |
| counterexample_constructor.rs | 76.47% | 26 / 34 | 75% | 12 / 16 | 100% | 2 / 2 | |
| failures_refinement.rs | 96.07% | 269 / 280 | 49.46% | 46 / 93 | 100% | 52 / 52 | |
| impossible_futures.rs | 100% | 175 / 175 | 59.52% | 25 / 42 | 100% | 10 / 10 | |
| refinement.rs | 76.19% | 128 / 168 | 54.17% | 13 / 24 | 100% | 20 / 20 | |