public inbox for [email protected]  

help / color / mirror / Atom feed

From: Tom Lane <[email protected]>
To: J F <[email protected]>
Cc: [email protected]
Subject: Re: Contributing test cases to improve coverage
Date: Wed, 12 Jun 2024 14:22:47 -0400
Message-ID: <[email protected]> (raw)
In-Reply-To: <CAEFLKGhVEP4_N4T4KQ75av7CEJreJpY1j2T+Dxq96dyJ1khBhg@mail.gmail.com>
References: <CAEFLKGhVEP4_N4T4KQ75av7CEJreJpY1j2T+Dxq96dyJ1khBhg@mail.gmail.com>

J F <[email protected]> writes:
> For postgres, I am looking at adding test cases to test suite in
> test/src/regress/. I have gone through (a)-(e), and managed to produced
> some test cases. As an example, I claim the test case
> ```
> CREATE RECURSIVE VIEW a(b) AS SELECT'' ;
> SELECT FROM a WHERE NULL;
> ```
> could kill the following mutation at optimizer/plan/setrefs.c, 502:5--502:33
> Original binary operator expression:
> ```
> rte->rtekind == RTE_SUBQUERY
> ````
> Replacement expression:
> ```
> (rte->rtekind) >= RTE_SUBQUERY
> ```

I am quite confused about what is the point of this.  You have not
found any actual bug, nor have you demonstrated that this test case
could discover a likely future bug that wouldn't be detected another
way.  Moreover, it seems like the process would lead to some very
large number of equally marginal test cases.  We aren't likely to
accept such a patch, because we are concerned about keeping down the
runtime of the test suite.

			regards, tom lane

view thread (4+ messages)  latest in thread

reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: [email protected]
  Cc: [email protected], [email protected], [email protected]
  Subject: Re: Contributing test cases to improve coverage
  In-Reply-To: <[email protected]>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox