bst-ocaml OCaml

Total: 1910 trials · 0 passed · 1890 failed

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

Per-property results

Propertypassedfailedotherverdict
DeleteDelete0404bug found
DeleteInsert01600bug found
DeleteModel0800bug found
DeletePost0602bug found
DeleteUnion01783bug found
InsertDelete01002bug found
InsertInsert01200bug found
InsertModel01200bug found
InsertPost01002bug found
InsertUnion02400bug found
UnionDeleteInsert02913bug found
UnionModel01200bug found
UnionPost0913bug found
UnionUnionAssoc01101bug found
UnionValid0800bug found