Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1sHScX-007l8z-1d for pgsql-hackers@arkaria.postgresql.org; Wed, 12 Jun 2024 18:22:53 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.94.2) (envelope-from ) id 1sHScV-004U0f-8n for pgsql-hackers@arkaria.postgresql.org; Wed, 12 Jun 2024 18:22:52 +0000 Received: from magus.postgresql.org ([2a02:c0:301:0:ffff::29]) by malur.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1sHScU-004TxG-Ux for pgsql-hackers@lists.postgresql.org; Wed, 12 Jun 2024 18:22:51 +0000 Received: from sss.pgh.pa.us ([68.162.161.243]) by magus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1sHScT-001K95-9q for pgsql-hackers@lists.postgresql.org; Wed, 12 Jun 2024 18:22:51 +0000 Received: from sss1.sss.pgh.pa.us (localhost [127.0.0.1]) by sss.pgh.pa.us (8.15.2/8.15.2) with ESMTP id 45CIMlh31508711; Wed, 12 Jun 2024 14:22:47 -0400 From: Tom Lane To: J F cc: pgsql-hackers@lists.postgresql.org Subject: Re: Contributing test cases to improve coverage In-reply-to: References: Comments: In-reply-to J F message dated "Wed, 12 Jun 2024 17:44:29 +0100" MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-ID: <1508709.1718216567.1@sss.pgh.pa.us> Date: Wed, 12 Jun 2024 14:22:47 -0400 Message-ID: <1508710.1718216567@sss.pgh.pa.us> List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk J F 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