Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
AdvanceBackToMatchesModel | 0 | 50 | 3 | bug found |
AdvanceToMatchesModel | 0 | 51 | 3 | bug found |
IterMatchesModel | 0 | 122 | 4 | bug found |
IterNthMatchesModel | 0 | 30 | 1 | bug found |
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
AdvanceBackToMatchesModel | 0 | 50 | 3 | bug found |
AdvanceToMatchesModel | 0 | 51 | 3 | bug found |
IterMatchesModel | 0 | 122 | 4 | bug found |
IterNthMatchesModel | 0 | 30 | 1 | bug found |