pg.ddx.io  pgsql-hackers@postgresql.org mailing list archive  
help / color / mirror / Atom feed
From: Andreas Seltenreich <seltenreich@gmx.de>
To: Michael Paquier <michael.paquier@gmail.com>
Cc: PostgreSQL mailing lists <pgsql-hackers@postgresql.org>
Subject: Re: Failing assertions in indxpath.c, placeholder.c and brin_minmax.c
Date: Sun, 26 Jul 2015 15:32:19 +0200
Message-ID: <87twsr2gf0.fsf@ex.ansel.ydns.eu> (raw)
In-Reply-To: <CAB7nPqRYCLuZsdpPKzz8trFiMj7DnKUh_XW7HR4Q+9J9JpVZpA@mail.gmail.com>
References: <871tfv3wor.fsf@ex.ansel.ydns.eu>
	<CAB7nPqRYCLuZsdpPKzz8trFiMj7DnKUh_XW7HR4Q+9J9JpVZpA@mail.gmail.com>
List-Unsubscribe: <mailto:majordomo@postgresql.org?body=unsub%20pgsql-hackers>

Michael Paquier writes:

>> Footnotes:
>> [1]  https://github.com/anse1/sqlsmith
>
> This is really interesting stuff. I think that it would be possible to
> extract self-contained test cases from your tool and those queries to
> reproduce the failures. It is written that this tools connects to a
> database to retrieve the schema, what is it exactly in the case of
> those failures?

I used the database "regression" that pg_regress leaves behind when you
remove the --temp-install from it's default invocation through make
check.  Sorry about not being explicit about that.

So, dropping one of the queries into src/test/regress/sql/smith.sql and
invoking

    make check EXTRA_TESTS=smith

was all that was needed to integrate them.  I was then able to perform
"git bisect run" on this command.  Er, plus consing the expected output
file.

I'm using the regression db a lot when hacking on sqlsmith, as it
contains much more nasty things than your average database.

regards
andreas


-- 
Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers



view thread (15+ messages)  latest in thread

Message-ID: <87twsr2gf0.fsf@ex.ansel.ydns.eu>
Permalink:  ../87twsr2gf0.fsf@ex.ansel.ydns.eu/
Also on:    postgresql.org/message-id/87twsr2gf0.fsf@ex.ansel.ydns.eu

 · 

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: pgsql-hackers@postgresql.org
  Cc: seltenreich@gmx.de, michael.paquier@gmail.com
  Subject: Re: Failing assertions in indxpath.c, placeholder.c and brin_minmax.c
  In-Reply-To: <87twsr2gf0.fsf@ex.ansel.ydns.eu>

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

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