| File | Line Coverage | Functions | Branches | ||||
|---|---|---|---|---|---|---|---|
| innermost_rewriter.rs | 96.49% | 165 / 171 | 50% | 8 / 16 | 100% | 22 / 22 | |
| naive_rewriter.rs | 86.9% | 73 / 84 | 50% | 5 / 10 | 75% | 18 / 24 | |
| rewrite_specification.rs | 44.44% | 16 / 36 | 31.25% | 5 / 16 | 50% | 2 / 4 | |
| sabre_rewriter.rs | 100% | 197 / 197 | 50% | 7 / 14 | 100% | 34 / 34 | |
| test_utility.rs | 100% | 13 / 13 | 100% | 2 / 2 | 100% | 0 / 0 | |