blt / bughunt-rust

QuickCheck bug hunting in Rust standard library data structures
MIT License
160 stars 8 forks source link

Introduce more Ops for HashMap #4

Closed blt closed 6 years ago

blt commented 6 years ago

This commit introduces three new operations against HashMap: ShrinkToFit, CheckCapacity and Clear. The consequences of these operations are documented in the commit itself. I've also updated the travis CI runner to run more tests of larger size by default. This will need to be dialed backward as the number of models grow.

Signed-off-by: Brian L. Troutwine brian@troutwine.us