so just as a testament to the power of property-based testing:
the harness I have for testing calculations & queries against the data warehouse I manage an application front-end for just caught a super-rare edge case
doesn't actually happen against production data
but it could
my test suite started running monday morning, and test.check generated this edge case, and cranked on it for over 30 hours, approx 200k iterations, until it isolated the problem
and I look at it and go, oh, of course!
and it was like one of these little 2 character fixes
but had the problem occurred against production data, nobody ever would have known
so, thanks
> doesn't actually happen against production data > but had the problem occurred against production data, nobody ever would have known So how do you know it didn't?