search

Chriscbr / thinset

A data structure for sparse sets of unsigned integers.
Apache License 2.0
2 stars 1 forks source link

Add model-based property tests #10

Open thass0 opened 8 months ago

thass0 commented 8 months ago

Watching this talk by John Hughes convinced me that model-based property tests are great at finding bugs in data structures. They seem fun, and like an obvious choice here. The propest crate might be a good choice.