Found a third regression using quickcheck! - This is so good; I'm convinced :D https://github.com/datrs/random-access-memory/pull/1/files …
-
Show this thread
-
Replying to @yoshuawuyts
If you like QuickCheck, you're going to love https://crates.io/crates/proptest
1 reply 0 retweets 1 like -
Replying to @bodil
Hehe, I tried it but I'm finding it a bit confusing. The custom syntax in macros is throwing me off a little. Really like the ideas behind it though! Hope to give it another spin once I'm a bit more comfortable with Rust, macros and modelling
1 reply 0 retweets 0 likes -
Replying to @yoshuawuyts
Yeah, it's maybe not as easy to use up front as QuickCheck, but it's so much easier to make sense of the errors you find. I've been slowly porting my QuickCheck tests over to proptest and have been loving it.
1 reply 0 retweets 1 like -
Replying to @bodil
ohhh, sweeet! - got any reference code by any chance? Maybe if I see some real world example I'll be able to pick it up faster :D
1 reply 0 retweets 0 likes -
Replying to @yoshuawuyts
Most files in https://github.com/bodil/im-rs/tree/master/src … have proptests at the end. https://github.com/bodil/im-rs/blob/master/src/vector.rs#L1458-L1736 … probably the most comprehensive.
1 reply 0 retweets 1 like
amazing; thank you so much! :D
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.