Binary Search Tree property-based testing workload (OCaml).
Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
DeleteDelete | 0 | 0 | 80 | — |
DeleteInsert | 0 | 0 | 160 | — |
DeleteModel | 0 | 0 | 80 | — |
DeletePost | 0 | 0 | 80 | — |
DeleteUnion | 0 | 0 | 200 | — |
InsertDelete | 0 | 0 | 120 | — |
InsertInsert | 0 | 0 | 120 | — |
InsertModel | 0 | 0 | 120 | — |
InsertPost | 0 | 0 | 120 | — |
InsertUnion | 0 | 0 | 240 | — |
UnionDeleteInsert | 0 | 0 | 320 | — |
UnionModel | 0 | 0 | 120 | — |
UnionPost | 0 | 0 | 120 | — |
UnionUnionAssoc | 0 | 0 | 120 | — |
UnionValid | 0 | 0 | 80 | — |