Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
LinesMatchModel | 0 | 40 | 0 | bug found |
RopeBuilderDefaultBuild | 0 | 40 | 0 | bug found |
RopeEqChunkInvariant | 0 | 0 | 4 | — |
RopeHashChunkInvariant | 0 | 40 | 0 | bug found |
SliceCrlfLenLines | 0 | 30 | 1 | bug found |
Utf16CharRoundtrip | 0 | 40 | 0 | bug found |