3 ms·
You're just over-generalizing the problem into something you will not be able to solve by proving that a migration works for a _specific_ arbitrary state.
by dxdm 2y ago
You're just over-generalizing the problem into something you will not be able to solve by proving that a migration works for a _specific_ arbitrary state.
- dreghgh 2y agoI mean this is a widely adopted practice so it clearly is not impossible to solve. All tests substitute small collections of representative inputs for the generality of inputs.
- dxdm 2y agoOf course, but then let's not knock the OP article for covering a different subset of testable states, in a way that will need no adjusting for future schema changes, while still preventing the actual problem.