| File | Line Coverage | Functions | Branches | ||||
|---|---|---|---|---|---|---|---|
| alias.rs | 93.48% | 43 / 46 | 100% | 11 / 11 | 100% | 8 / 8 | |
| data_specification.rs | 80.77% | 42 / 52 | 90% | 9 / 10 | 100% | 6 / 6 | |
| is_finite.rs | 0% | 0 / 15 | 0% | 0 / 4 | 100% | 0 / 0 | |
| is_well_typed.rs | 77.78% | 42 / 54 | 80% | 4 / 5 | 100% | 10 / 10 | |
| name_resolution.rs | 79.49% | 31 / 39 | 100% | 6 / 6 | 100% | 8 / 8 | |
| non_empty.rs | 86.96% | 40 / 46 | 100% | 7 / 7 | 100% | 10 / 10 | |
| standard_sorts.rs | 66.52% | 155 / 233 | 64.71% | 11 / 17 | 100% | 36 / 36 | |