Binary Search Tree property-based testing workload (Rust).
Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
DeleteDelete | 20 | 20 | 20 | bug found |
DeleteInsert | 30 | 50 | 40 | bug found |
DeleteModel | 10 | 30 | 20 | bug found |
DeletePost | 20 | 20 | 20 | bug found |
DeleteUnion | 50 | 50 | 50 | bug found |
InsertDelete | 20 | 40 | 30 | bug found |
InsertInsert | 0 | 60 | 30 | bug found |
InsertModel | 10 | 50 | 30 | bug found |
InsertPost | 30 | 30 | 30 | bug found |
InsertUnion | 0 | 120 | 60 | bug found |
UnionDeleteInsert | 20 | 140 | 80 | bug found |
UnionModel | 10 | 50 | 30 | bug found |
UnionPost | 30 | 30 | 30 | bug found |
UnionUnionAssoc | 0 | 60 | 30 | bug found |
UnionValid | 0 | 40 | 20 | bug found |