| File | Line Coverage | Functions | Branches | ||||
|---|---|---|---|---|---|---|---|
| antichain.rs | 96.47% | 82 / 85 | 93.75% | 15 / 16 | 100% | 12 / 12 | |
| counterexample_constructor.rs | 67.65% | 23 / 34 | 50% | 4 / 8 | 100% | 2 / 2 | |
| counterexample_formula.rs | 50% | 15 / 30 | 100% | 1 / 1 | 100% | 0 / 0 | |
| failures_refinement.rs | 65.85% | 108 / 164 | 53.85% | 7 / 13 | 68.42% | 26 / 38 | |
| refinement.rs | 0% | 0 / 17 | 0% | 0 / 1 | 100% | 0 / 0 | |