On Fri, Feb 28, 2025 at 02:13:23PM +0100, Álvaro Herrera wrote: > On 2025-Feb-28, Michael Paquier wrote: >> Saying that, I have also done similar tests with your v12 for a couple >> of hours and this looks stable under installcheck-world. I can see >> that you've reworked quite a bit the surroundings of InitializedFrom >> in this one. If you apply that once again at some point, the >> buildfarm will be judge in the long-term, but I am rather confident by >> saying that the situation looks better here, at least. > > Heh, no amount of testing can prove lack of bugs; but for sure "it looks > different now, so it must be correct" must be the weakest proof of > correctness I've heard of!
Err, okay. I did use the word "stable" with tests rather than "correct", and I implied upthread that I did not check the correctness nor the internals of the patch. If my words held the meaning you are implying, well, my apologies for the confusion, I guess. I only tested the patch and it was stable while I've noticed a few diffs with the previous version, but I did *not* check its internals at all, nor do I mean that I endorse its logic. I hope that's clear now. -- Michael
signature.asc
Description: PGP signature