Press n or j to go to the next uncovered block, b, p or k for the previous block.
| File | Statements | Branches | Functions | Lines | |||||
|---|---|---|---|---|---|---|---|---|---|
| class-axioms.ts |
|
100% | 53/53 | 100% | 22/22 | 100% | 4/4 | 100% | 47/47 |
| class-semantics.ts |
|
100% | 130/130 | 100% | 74/74 | 100% | 8/8 | 100% | 116/116 |
| datatypes.ts |
|
100% | 8/8 | 100% | 0/0 | 100% | 1/1 | 100% | 8/8 |
| equality.ts |
|
100% | 50/50 | 100% | 28/28 | 100% | 4/4 | 100% | 45/45 |
| property-semantics.ts |
|
100% | 247/247 | 100% | 164/164 | 100% | 10/10 | 100% | 207/207 |
| schema.ts |
|
100% | 129/129 | 100% | 76/76 | 100% | 4/4 | 100% | 121/121 |