Red-Black Tree property-based testing workload (Rust).
Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
DeleteDelete | 0 | 70 | 8 | bug found |
DeleteInsert | 0 | 140 | 7 | bug found |
DeleteModel | 0 | 50 | 1 | bug found |
DeletePost | 0 | 40 | 2 | bug found |
DeleteValid | 0 | 110 | 4 | bug found |
InsertDelete | 0 | 140 | 1 | bug found |
InsertInsert | 0 | 80 | 1 | bug found |
InsertModel | 0 | 80 | 1 | bug found |
InsertPost | 0 | 60 | 3 | bug found |
InsertValid | 0 | 90 | 0 | bug found |