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