bst-ocaml OCaml

Total: 1964 trials · 1040 passed · 910 failed

Binary Search Tree property-based testing workload (OCaml).

Per-property results

Propertypassedfailedotherverdict
DeleteDelete4004
DeleteInsert80800bug found
DeleteModel40400bug found
DeletePost40202bug found
DeleteUnion1001000bug found
InsertDelete60402bug found
InsertInsert60600bug found
InsertModel60600bug found
InsertPost60402bug found
InsertUnion1201200bug found
UnionDeleteInsert1601432bug found
UnionModel60600bug found
UnionPost60472bug found
UnionUnionAssoc60600bug found
UnionValid40400bug found