Binary Search Tree property-based testing workload (OCaml).
Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
DeleteDelete | 40 | 0 | 4 | — |
DeleteInsert | 80 | 80 | 0 | bug found |
DeleteModel | 40 | 40 | 0 | bug found |
DeletePost | 40 | 20 | 2 | bug found |
DeleteUnion | 100 | 100 | 0 | bug found |
InsertDelete | 60 | 40 | 2 | bug found |
InsertInsert | 60 | 60 | 0 | bug found |
InsertModel | 60 | 60 | 0 | bug found |
InsertPost | 60 | 40 | 2 | bug found |
InsertUnion | 120 | 120 | 0 | bug found |
UnionDeleteInsert | 160 | 143 | 2 | bug found |
UnionModel | 60 | 60 | 0 | bug found |
UnionPost | 60 | 47 | 2 | bug found |
UnionUnionAssoc | 60 | 60 | 0 | bug found |
UnionValid | 40 | 40 | 0 | bug found |