Binary search tree workload for Etna, with QuickCheck/SmallCheck/LeanCheck generators.
Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
DeleteDelete | 0 | 0 | 187 | — |
DeleteInsert | 0 | 0 | 542 | — |
DeleteModel | 0 | 0 | 271 | — |
DeletePost | 0 | 0 | 248 | — |
DeleteUnion | 0 | 0 | 603 | — |
InsertDelete | 0 | 0 | 380 | — |
InsertInsert | 0 | 0 | 420 | — |
InsertModel | 0 | 0 | 420 | — |
InsertPost | 0 | 0 | 380 | — |
InsertUnion | 0 | 0 | 822 | — |
UnionDeleteInsert | 0 | 0 | 1038 | — |
UnionModel | 0 | 0 | 398 | — |
UnionPost | 0 | 0 | 349 | — |
UnionUnionAssoc | 0 | 0 | 361 | — |
UnionValid | 0 | 0 | 280 | — |