| File | Line Coverage | Functions | Branches | ||||
|---|---|---|---|---|---|---|---|
| innermost_rewriter.rs | 96.47% | 164 / 170 | 50% | 8 / 16 | 100% | 22 / 22 | |
| mcrl2_specification.rs | 0% | 0 / 19 | 0% | 0 / 6 | 0% | 0 / 2 | |
| naive_rewriter.rs | 86.9% | 73 / 84 | 50% | 5 / 10 | 75% | 18 / 24 | |
| rewrite_specification.rs | 16.67% | 6 / 36 | 12.5% | 2 / 16 | 0% | 0 / 4 | |
| sabre_rewriter.rs | 100% | 168 / 168 | 50% | 7 / 14 | 100% | 32 / 32 | |
| test_utility.rs | 100% | 13 / 13 | 50% | 1 / 2 | 100% | 0 / 0 | |