Re: [RFC] Property-based testing for Postgres

On Tue, 2026-11-03 at 14:34 +0000, Greg Burd wrote:
> > It seems much more valuable to test, say, data structure
> > invariants,
> > where we are likely to get creative with optimizations and might
> > break
> > something. Is this property testing system good for that?
>
> Yes, and that is one area where I think it earns its place.

For something in core, I think a few strong examples in this area would
be the best route.

>
> This style of testing fits AI well: the properties are easy for an
> agent to
> write, cheap to run, and the counterexample the engine shrinks to is
> exactly
> the artifact an agent can consume to produce a fix, a minimal input
> plus a
> seed that replays it.

AI can create tons of these tests, and that some percentage will find
bugs that others have missed, which is valuable. But carrying all those
tests in core doesn't sound very appealing to me.

Let's first look at the high-value testing areas and get feedback from
the people that work in those areas.

Regards,
Jeff Davis