Binary search tree workload for Etna, with QuickCheck/SmallCheck/LeanCheck generators.
Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
DeleteDelete | 0 | 0 | 6 | — |
DeleteInsert | 0 | 0 | 2 | — |
DeleteModel | 0 | 0 | 1 | — |
DeletePost | 0 | 0 | 3 | — |
DeleteUnion | 0 | 0 | 9 | — |
InsertDelete | 0 | 0 | 2 | — |
InsertPost | 0 | 0 | 3 | — |
InsertUnion | 0 | 0 | 2 | — |
UnionDeleteInsert | 0 | 0 | 8 | — |
UnionModel | 0 | 0 | 2 | — |
UnionPost | 0 | 0 | 7 | — |
UnionUnionAssoc | 0 | 0 | 5 | — |
prop_DeleteDelete | 0 | 0 | 121 | — |
prop_DeleteInsert | 0 | 0 | 340 | — |
prop_DeleteModel | 0 | 0 | 170 | — |
prop_DeletePost | 0 | 0 | 151 | — |
prop_DeleteUnion | 0 | 0 | 363 | — |
prop_InsertDelete | 0 | 0 | 250 | — |
prop_InsertInsert | 0 | 0 | 270 | — |
prop_InsertModel | 0 | 0 | 270 | — |
prop_InsertPost | 0 | 0 | 240 | — |
prop_InsertUnion | 0 | 0 | 520 | — |
prop_UnionDeleteInsert | 0 | 0 | 640 | — |
prop_UnionModel | 0 | 0 | 250 | — |
prop_UnionPost | 0 | 0 | 201 | — |
prop_UnionUnionAssoc | 0 | 0 | 221 | — |
prop_UnionValid | 0 | 0 | 180 | — |