Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
AdvanceBackToMatchesModel | 0 | 50 | 3 | bug found |
AdvanceToMatchesModel | 0 | 60 | 2 | bug found |
IterMatchesModel | 0 | 103 | 6 | bug found |
IterNthMatchesModel | 0 | 30 | 1 | bug found |
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
AdvanceBackToMatchesModel | 0 | 50 | 3 | bug found |
AdvanceToMatchesModel | 0 | 60 | 2 | bug found |
IterMatchesModel | 0 | 103 | 6 | bug found |
IterNthMatchesModel | 0 | 30 | 1 | bug found |