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