| File | Line Coverage | Functions | Branches | ||||
|---|---|---|---|---|---|---|---|
| antichain.rs | 84.54% | 82 / 97 | 75% | 15 / 20 | 100% | 12 / 12 | |
| counterexample_constructor.rs | 76.47% | 26 / 34 | 75% | 6 / 8 | 100% | 2 / 2 | |
| counterexample_formula.rs | 100% | 71 / 71 | 100% | 8 / 8 | 100% | 2 / 2 | |
| failures_refinement.rs | 95.85% | 231 / 241 | 89.29% | 25 / 28 | 100% | 42 / 42 | |
| impossible_futures.rs | 100% | 53 / 53 | 60% | 6 / 10 | 100% | 4 / 4 | |
| refinement.rs | 97.01% | 195 / 201 | 88% | 22 / 25 | 100% | 24 / 24 | |