git.postgresql.org Git - postgresql.git/commitdiff

git projects / postgresql.git / commitdiff

Reject isolation test specifications with duplicate step names.

author Robert Haas <rhaas@postgresql.org>

2015年8月15日 02:09:27 +0000 (22:09 -0400)

committer Robert Haas <rhaas@postgresql.org>

2015年8月15日 02:10:46 +0000 (22:10 -0400)

alter-table-1.spec has such a case, so change one instance of step
rx1 to rx3 instead.

src/test/isolation/expected/alter-table-1.out patch | blob | blame | history

src/test/isolation/isolationtester.c patch | blob | blame | history

src/test/isolation/isolationtester.h patch | blob | blame | history

src/test/isolation/specs/alter-table-1.spec patch | blob | blame | history

diff --git a/src/test/isolation/expected/alter-table-1.out b/src/test/isolation/expected/alter-table-1.out

index 9daa418648979ed052734db14498bad09b22065b..61812e6fc42843761ea1a20362bade0f8aa434dd 100644 (file)

--- a/src/test/isolation/expected/alter-table-1.out

+++ b/src/test/isolation/expected/alter-table-1.out

@@ -1,6 +1,6 @@

Parsed test spec with 2 sessions

-starting permutation: s1 at1 sc1 s2 at2 sc2 rx1 wx rx1 c2

+starting permutation: s1 at1 sc1 s2 at2 sc2 rx1 wx rx3 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -12,7 +12,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -20,7 +20,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 at1 sc1 s2 at2 rx1 sc2 wx rx1 c2

+starting permutation: s1 at1 sc1 s2 at2 rx1 sc2 wx rx3 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -32,7 +32,7 @@ a_id

step sc2: COMMIT;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -40,7 +40,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 at1 sc1 s2 at2 rx1 wx sc2 rx1 c2

+starting permutation: s1 at1 sc1 s2 at2 rx1 wx sc2 rx3 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -52,7 +52,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

step sc2: COMMIT;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -60,7 +60,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 at1 sc1 s2 at2 rx1 wx rx1 sc2 c2

+starting permutation: s1 at1 sc1 s2 at2 rx1 wx rx3 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -71,7 +71,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -80,7 +80,7 @@ a_id

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 at1 sc1 s2 at2 rx1 wx rx1 c2 sc2

+starting permutation: s1 at1 sc1 s2 at2 rx1 wx rx3 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -91,7 +91,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -100,7 +100,7 @@ a_id

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 at1 sc1 s2 rx1 at2 sc2 wx rx1 c2

+starting permutation: s1 at1 sc1 s2 rx1 at2 sc2 wx rx3 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -112,7 +112,7 @@ a_id

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -120,7 +120,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 at1 sc1 s2 rx1 at2 wx sc2 rx1 c2

+starting permutation: s1 at1 sc1 s2 rx1 at2 wx sc2 rx3 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -132,7 +132,7 @@ a_id

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step wx: INSERT INTO b VALUES (0);

step sc2: COMMIT;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -140,7 +140,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 at1 sc1 s2 rx1 at2 wx rx1 sc2 c2

+starting permutation: s1 at1 sc1 s2 rx1 at2 wx rx3 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -151,7 +151,7 @@ a_id

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -160,7 +160,7 @@ a_id

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 at1 sc1 s2 rx1 at2 wx rx1 c2 sc2

+starting permutation: s1 at1 sc1 s2 rx1 at2 wx rx3 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -171,7 +171,7 @@ a_id

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -180,7 +180,7 @@ a_id

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 at1 sc1 s2 rx1 wx at2 sc2 rx1 c2

+starting permutation: s1 at1 sc1 s2 rx1 wx at2 sc2 rx3 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -192,7 +192,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -200,7 +200,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 at1 sc1 s2 rx1 wx at2 rx1 sc2 c2

+starting permutation: s1 at1 sc1 s2 rx1 wx at2 rx3 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -211,7 +211,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -220,7 +220,7 @@ a_id

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 at1 sc1 s2 rx1 wx at2 rx1 c2 sc2

+starting permutation: s1 at1 sc1 s2 rx1 wx at2 rx3 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -231,7 +231,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -240,7 +240,7 @@ a_id

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 at1 sc1 s2 rx1 wx rx1 at2 sc2 c2

+starting permutation: s1 at1 sc1 s2 rx1 wx rx3 at2 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -250,7 +250,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -260,7 +260,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 at1 sc1 s2 rx1 wx rx1 at2 c2 sc2

+starting permutation: s1 at1 sc1 s2 rx1 wx rx3 at2 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -270,7 +270,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -280,7 +280,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 at1 sc1 s2 rx1 wx rx1 c2 at2 sc2

+starting permutation: s1 at1 sc1 s2 rx1 wx rx3 c2 at2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -290,7 +290,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -300,7 +300,7 @@ step c2: COMMIT;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 s2 at2 sc2 wx rx1 c2

+starting permutation: s1 at1 sc1 rx1 s2 at2 sc2 wx rx3 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -312,7 +312,7 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -320,7 +320,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 s2 at2 wx sc2 rx1 c2

+starting permutation: s1 at1 sc1 rx1 s2 at2 wx sc2 rx3 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -332,7 +332,7 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step wx: INSERT INTO b VALUES (0);

step sc2: COMMIT;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -340,7 +340,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 s2 at2 wx rx1 sc2 c2

+starting permutation: s1 at1 sc1 rx1 s2 at2 wx rx3 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -351,7 +351,7 @@ a_id

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -360,7 +360,7 @@ a_id

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 s2 at2 wx rx1 c2 sc2

+starting permutation: s1 at1 sc1 rx1 s2 at2 wx rx3 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -371,7 +371,7 @@ a_id

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -380,7 +380,7 @@ a_id

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 s2 wx at2 sc2 rx1 c2

+starting permutation: s1 at1 sc1 rx1 s2 wx at2 sc2 rx3 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -392,7 +392,7 @@ step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -400,7 +400,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 s2 wx at2 rx1 sc2 c2

+starting permutation: s1 at1 sc1 rx1 s2 wx at2 rx3 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -411,7 +411,7 @@ a_id

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -420,7 +420,7 @@ a_id

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 s2 wx at2 rx1 c2 sc2

+starting permutation: s1 at1 sc1 rx1 s2 wx at2 rx3 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -431,7 +431,7 @@ a_id

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -440,7 +440,7 @@ a_id

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 s2 wx rx1 at2 sc2 c2

+starting permutation: s1 at1 sc1 rx1 s2 wx rx3 at2 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -450,7 +450,7 @@ a_id

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -460,7 +460,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 s2 wx rx1 at2 c2 sc2

+starting permutation: s1 at1 sc1 rx1 s2 wx rx3 at2 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -470,7 +470,7 @@ a_id

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -480,7 +480,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 s2 wx rx1 c2 at2 sc2

+starting permutation: s1 at1 sc1 rx1 s2 wx rx3 c2 at2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -490,7 +490,7 @@ a_id

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -500,7 +500,7 @@ step c2: COMMIT;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 wx s2 at2 sc2 rx1 c2

+starting permutation: s1 at1 sc1 rx1 wx s2 at2 sc2 rx3 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -512,7 +512,7 @@ step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -520,7 +520,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 wx s2 at2 rx1 sc2 c2

+starting permutation: s1 at1 sc1 rx1 wx s2 at2 rx3 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -531,7 +531,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -540,7 +540,7 @@ a_id

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 wx s2 at2 rx1 c2 sc2

+starting permutation: s1 at1 sc1 rx1 wx s2 at2 rx3 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -551,7 +551,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -560,7 +560,7 @@ a_id

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 wx s2 rx1 at2 sc2 c2

+starting permutation: s1 at1 sc1 rx1 wx s2 rx3 at2 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -570,7 +570,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -580,7 +580,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 wx s2 rx1 at2 c2 sc2

+starting permutation: s1 at1 sc1 rx1 wx s2 rx3 at2 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -590,7 +590,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -600,7 +600,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 wx s2 rx1 c2 at2 sc2

+starting permutation: s1 at1 sc1 rx1 wx s2 rx3 c2 at2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -610,7 +610,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -620,7 +620,7 @@ step c2: COMMIT;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 wx rx1 s2 at2 sc2 c2

+starting permutation: s1 at1 sc1 rx1 wx rx3 s2 at2 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -629,7 +629,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -640,7 +640,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 wx rx1 s2 at2 c2 sc2

+starting permutation: s1 at1 sc1 rx1 wx rx3 s2 at2 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -649,7 +649,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -660,7 +660,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 wx rx1 s2 c2 at2 sc2

+starting permutation: s1 at1 sc1 rx1 wx rx3 s2 c2 at2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -669,7 +669,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -680,7 +680,7 @@ step c2: COMMIT;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 at1 sc1 rx1 wx rx1 c2 s2 at2 sc2

+starting permutation: s1 at1 sc1 rx1 wx rx3 c2 s2 at2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

@@ -689,7 +689,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -700,7 +700,7 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 s2 at2 sc2 wx rx1 c2

+starting permutation: s1 at1 rx1 sc1 s2 at2 sc2 wx rx3 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -712,7 +712,7 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -720,7 +720,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 s2 at2 wx sc2 rx1 c2

+starting permutation: s1 at1 rx1 sc1 s2 at2 wx sc2 rx3 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -732,7 +732,7 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step wx: INSERT INTO b VALUES (0);

step sc2: COMMIT;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -740,7 +740,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 s2 at2 wx rx1 sc2 c2

+starting permutation: s1 at1 rx1 sc1 s2 at2 wx rx3 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -751,7 +751,7 @@ step sc1: COMMIT;

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -760,7 +760,7 @@ a_id

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 s2 at2 wx rx1 c2 sc2

+starting permutation: s1 at1 rx1 sc1 s2 at2 wx rx3 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -771,7 +771,7 @@ step sc1: COMMIT;

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -780,7 +780,7 @@ a_id

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 s2 wx at2 sc2 rx1 c2

+starting permutation: s1 at1 rx1 sc1 s2 wx at2 sc2 rx3 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -792,7 +792,7 @@ step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -800,7 +800,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 s2 wx at2 rx1 sc2 c2

+starting permutation: s1 at1 rx1 sc1 s2 wx at2 rx3 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -811,7 +811,7 @@ step sc1: COMMIT;

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -820,7 +820,7 @@ a_id

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 s2 wx at2 rx1 c2 sc2

+starting permutation: s1 at1 rx1 sc1 s2 wx at2 rx3 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -831,7 +831,7 @@ step sc1: COMMIT;

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -840,7 +840,7 @@ a_id

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 s2 wx rx1 at2 sc2 c2

+starting permutation: s1 at1 rx1 sc1 s2 wx rx3 at2 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -850,7 +850,7 @@ a_id

step sc1: COMMIT;

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -860,7 +860,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 s2 wx rx1 at2 c2 sc2

+starting permutation: s1 at1 rx1 sc1 s2 wx rx3 at2 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -870,7 +870,7 @@ a_id

step sc1: COMMIT;

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -880,7 +880,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 s2 wx rx1 c2 at2 sc2

+starting permutation: s1 at1 rx1 sc1 s2 wx rx3 c2 at2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -890,7 +890,7 @@ a_id

step sc1: COMMIT;

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -900,7 +900,7 @@ step c2: COMMIT;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 wx s2 at2 sc2 rx1 c2

+starting permutation: s1 at1 rx1 sc1 wx s2 at2 sc2 rx3 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -912,7 +912,7 @@ step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -920,7 +920,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 wx s2 at2 rx1 sc2 c2

+starting permutation: s1 at1 rx1 sc1 wx s2 at2 rx3 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -931,7 +931,7 @@ step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -940,7 +940,7 @@ a_id

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 wx s2 at2 rx1 c2 sc2

+starting permutation: s1 at1 rx1 sc1 wx s2 at2 rx3 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -951,7 +951,7 @@ step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -960,7 +960,7 @@ a_id

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 wx s2 rx1 at2 sc2 c2

+starting permutation: s1 at1 rx1 sc1 wx s2 rx3 at2 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -970,7 +970,7 @@ a_id

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -980,7 +980,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 wx s2 rx1 at2 c2 sc2

+starting permutation: s1 at1 rx1 sc1 wx s2 rx3 at2 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -990,7 +990,7 @@ a_id

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1000,7 +1000,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 wx s2 rx1 c2 at2 sc2

+starting permutation: s1 at1 rx1 sc1 wx s2 rx3 c2 at2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1010,7 +1010,7 @@ a_id

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1020,7 +1020,7 @@ step c2: COMMIT;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 wx rx1 s2 at2 sc2 c2

+starting permutation: s1 at1 rx1 sc1 wx rx3 s2 at2 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1029,7 +1029,7 @@ a_id

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1040,7 +1040,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 wx rx1 s2 at2 c2 sc2

+starting permutation: s1 at1 rx1 sc1 wx rx3 s2 at2 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1049,7 +1049,7 @@ a_id

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1060,7 +1060,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 wx rx1 s2 c2 at2 sc2

+starting permutation: s1 at1 rx1 sc1 wx rx3 s2 c2 at2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1069,7 +1069,7 @@ a_id

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1080,7 +1080,7 @@ step c2: COMMIT;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 at1 rx1 sc1 wx rx1 c2 s2 at2 sc2

+starting permutation: s1 at1 rx1 sc1 wx rx3 c2 s2 at2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1089,7 +1089,7 @@ a_id

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1100,7 +1100,7 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 at1 rx1 wx sc1 s2 at2 sc2 rx1 c2

+starting permutation: s1 at1 rx1 wx sc1 s2 at2 sc2 rx3 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1113,7 +1113,7 @@ step wx: <... completed>

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1121,7 +1121,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 at1 rx1 wx sc1 s2 at2 rx1 sc2 c2

+starting permutation: s1 at1 rx1 wx sc1 s2 at2 rx3 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1133,7 +1133,7 @@ step sc1: COMMIT;

step wx: <... completed>

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1142,7 +1142,7 @@ a_id

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 at1 rx1 wx sc1 s2 at2 rx1 c2 sc2

+starting permutation: s1 at1 rx1 wx sc1 s2 at2 rx3 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1154,7 +1154,7 @@ step sc1: COMMIT;

step wx: <... completed>

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1163,7 +1163,7 @@ a_id

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 at1 rx1 wx sc1 s2 rx1 at2 sc2 c2

+starting permutation: s1 at1 rx1 wx sc1 s2 rx3 at2 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1174,7 +1174,7 @@ step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1184,7 +1184,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 at1 rx1 wx sc1 s2 rx1 at2 c2 sc2

+starting permutation: s1 at1 rx1 wx sc1 s2 rx3 at2 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1195,7 +1195,7 @@ step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1205,7 +1205,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 at1 rx1 wx sc1 s2 rx1 c2 at2 sc2

+starting permutation: s1 at1 rx1 wx sc1 s2 rx3 c2 at2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1216,7 +1216,7 @@ step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1226,7 +1226,7 @@ step c2: COMMIT;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 at1 rx1 wx sc1 rx1 s2 at2 sc2 c2

+starting permutation: s1 at1 rx1 wx sc1 rx3 s2 at2 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1236,7 +1236,7 @@ a_id

step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1247,7 +1247,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 at1 rx1 wx sc1 rx1 s2 at2 c2 sc2

+starting permutation: s1 at1 rx1 wx sc1 rx3 s2 at2 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1257,7 +1257,7 @@ a_id

step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1268,7 +1268,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 at1 rx1 wx sc1 rx1 s2 c2 at2 sc2

+starting permutation: s1 at1 rx1 wx sc1 rx3 s2 c2 at2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1278,7 +1278,7 @@ a_id

step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1289,7 +1289,7 @@ step c2: COMMIT;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 at1 rx1 wx sc1 rx1 c2 s2 at2 sc2

+starting permutation: s1 at1 rx1 wx sc1 rx3 c2 s2 at2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1299,7 +1299,7 @@ a_id

step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1310,7 +1310,7 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 at1 rx1 wx rx1 sc1 s2 at2 sc2 c2

+starting permutation: s1 at1 rx1 wx rx3 sc1 s2 at2 sc2 c2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1320,7 +1320,7 @@ a_id

step wx: INSERT INTO b VALUES (0); <waiting ...>

invalid permutation detected

-starting permutation: s1 at1 rx1 wx rx1 sc1 s2 at2 c2 sc2

+starting permutation: s1 at1 rx1 wx rx3 sc1 s2 at2 c2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1330,7 +1330,7 @@ a_id

step wx: INSERT INTO b VALUES (0); <waiting ...>

invalid permutation detected

-starting permutation: s1 at1 rx1 wx rx1 sc1 s2 c2 at2 sc2

+starting permutation: s1 at1 rx1 wx rx3 sc1 s2 c2 at2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1340,7 +1340,7 @@ a_id

step wx: INSERT INTO b VALUES (0); <waiting ...>

invalid permutation detected

-starting permutation: s1 at1 rx1 wx rx1 sc1 c2 s2 at2 sc2

+starting permutation: s1 at1 rx1 wx rx3 sc1 c2 s2 at2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1350,7 +1350,7 @@ a_id

step wx: INSERT INTO b VALUES (0); <waiting ...>

invalid permutation detected

-starting permutation: s1 at1 rx1 wx rx1 c2 sc1 s2 at2 sc2

+starting permutation: s1 at1 rx1 wx rx3 c2 sc1 s2 at2 sc2

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

@@ -1360,7 +1360,7 @@ a_id

step wx: INSERT INTO b VALUES (0); <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 at1 sc1 s2 at2 sc2 wx rx1 c2

+starting permutation: s1 rx1 at1 sc1 s2 at2 sc2 wx rx3 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1372,7 +1372,7 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1380,7 +1380,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 rx1 at1 sc1 s2 at2 wx sc2 rx1 c2

+starting permutation: s1 rx1 at1 sc1 s2 at2 wx sc2 rx3 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1392,7 +1392,7 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step wx: INSERT INTO b VALUES (0);

step sc2: COMMIT;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1400,7 +1400,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 rx1 at1 sc1 s2 at2 wx rx1 sc2 c2

+starting permutation: s1 rx1 at1 sc1 s2 at2 wx rx3 sc2 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1411,7 +1411,7 @@ step sc1: COMMIT;

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1420,7 +1420,7 @@ a_id

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 rx1 at1 sc1 s2 at2 wx rx1 c2 sc2

+starting permutation: s1 rx1 at1 sc1 s2 at2 wx rx3 c2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1431,7 +1431,7 @@ step sc1: COMMIT;

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1440,7 +1440,7 @@ a_id

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 rx1 at1 sc1 s2 wx at2 sc2 rx1 c2

+starting permutation: s1 rx1 at1 sc1 s2 wx at2 sc2 rx3 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1452,7 +1452,7 @@ step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1460,7 +1460,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 rx1 at1 sc1 s2 wx at2 rx1 sc2 c2

+starting permutation: s1 rx1 at1 sc1 s2 wx at2 rx3 sc2 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1471,7 +1471,7 @@ step sc1: COMMIT;

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1480,7 +1480,7 @@ a_id

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 rx1 at1 sc1 s2 wx at2 rx1 c2 sc2

+starting permutation: s1 rx1 at1 sc1 s2 wx at2 rx3 c2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1491,7 +1491,7 @@ step sc1: COMMIT;

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1500,7 +1500,7 @@ a_id

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 rx1 at1 sc1 s2 wx rx1 at2 sc2 c2

+starting permutation: s1 rx1 at1 sc1 s2 wx rx3 at2 sc2 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1510,7 +1510,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step sc1: COMMIT;

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1520,7 +1520,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 rx1 at1 sc1 s2 wx rx1 at2 c2 sc2

+starting permutation: s1 rx1 at1 sc1 s2 wx rx3 at2 c2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1530,7 +1530,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step sc1: COMMIT;

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1540,7 +1540,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 rx1 at1 sc1 s2 wx rx1 c2 at2 sc2

+starting permutation: s1 rx1 at1 sc1 s2 wx rx3 c2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1550,7 +1550,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step sc1: COMMIT;

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1560,7 +1560,7 @@ step c2: COMMIT;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 rx1 at1 sc1 wx s2 at2 sc2 rx1 c2

+starting permutation: s1 rx1 at1 sc1 wx s2 at2 sc2 rx3 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1572,7 +1572,7 @@ step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1580,7 +1580,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 rx1 at1 sc1 wx s2 at2 rx1 sc2 c2

+starting permutation: s1 rx1 at1 sc1 wx s2 at2 rx3 sc2 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1591,7 +1591,7 @@ step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1600,7 +1600,7 @@ a_id

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 rx1 at1 sc1 wx s2 at2 rx1 c2 sc2

+starting permutation: s1 rx1 at1 sc1 wx s2 at2 rx3 c2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1611,7 +1611,7 @@ step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1620,7 +1620,7 @@ a_id

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 rx1 at1 sc1 wx s2 rx1 at2 sc2 c2

+starting permutation: s1 rx1 at1 sc1 wx s2 rx3 at2 sc2 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1630,7 +1630,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1640,7 +1640,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 rx1 at1 sc1 wx s2 rx1 at2 c2 sc2

+starting permutation: s1 rx1 at1 sc1 wx s2 rx3 at2 c2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1650,7 +1650,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1660,7 +1660,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 rx1 at1 sc1 wx s2 rx1 c2 at2 sc2

+starting permutation: s1 rx1 at1 sc1 wx s2 rx3 c2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1670,7 +1670,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1680,7 +1680,7 @@ step c2: COMMIT;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 rx1 at1 sc1 wx rx1 s2 at2 sc2 c2

+starting permutation: s1 rx1 at1 sc1 wx rx3 s2 at2 sc2 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1689,7 +1689,7 @@ a_id

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1700,7 +1700,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 rx1 at1 sc1 wx rx1 s2 at2 c2 sc2

+starting permutation: s1 rx1 at1 sc1 wx rx3 s2 at2 c2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1709,7 +1709,7 @@ a_id

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1720,7 +1720,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 rx1 at1 sc1 wx rx1 s2 c2 at2 sc2

+starting permutation: s1 rx1 at1 sc1 wx rx3 s2 c2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1729,7 +1729,7 @@ a_id

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1740,7 +1740,7 @@ step c2: COMMIT;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 rx1 at1 sc1 wx rx1 c2 s2 at2 sc2

+starting permutation: s1 rx1 at1 sc1 wx rx3 c2 s2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1749,7 +1749,7 @@ a_id

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1760,7 +1760,7 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 rx1 at1 wx sc1 s2 at2 sc2 rx1 c2

+starting permutation: s1 rx1 at1 wx sc1 s2 at2 sc2 rx3 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1773,7 +1773,7 @@ step wx: <... completed>

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1781,7 +1781,7 @@ a_id

step c2: COMMIT;

-starting permutation: s1 rx1 at1 wx sc1 s2 at2 rx1 sc2 c2

+starting permutation: s1 rx1 at1 wx sc1 s2 at2 rx3 sc2 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1793,7 +1793,7 @@ step sc1: COMMIT;

step wx: <... completed>

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1802,7 +1802,7 @@ a_id

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 rx1 at1 wx sc1 s2 at2 rx1 c2 sc2

+starting permutation: s1 rx1 at1 wx sc1 s2 at2 rx3 c2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1814,7 +1814,7 @@ step sc1: COMMIT;

step wx: <... completed>

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1823,7 +1823,7 @@ a_id

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 rx1 at1 wx sc1 s2 rx1 at2 sc2 c2

+starting permutation: s1 rx1 at1 wx sc1 s2 rx3 at2 sc2 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1834,7 +1834,7 @@ step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1844,7 +1844,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 rx1 at1 wx sc1 s2 rx1 at2 c2 sc2

+starting permutation: s1 rx1 at1 wx sc1 s2 rx3 at2 c2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1855,7 +1855,7 @@ step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1865,7 +1865,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 rx1 at1 wx sc1 s2 rx1 c2 at2 sc2

+starting permutation: s1 rx1 at1 wx sc1 s2 rx3 c2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1876,7 +1876,7 @@ step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1886,7 +1886,7 @@ step c2: COMMIT;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 rx1 at1 wx sc1 rx1 s2 at2 sc2 c2

+starting permutation: s1 rx1 at1 wx sc1 rx3 s2 at2 sc2 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1896,7 +1896,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1907,7 +1907,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: s1 rx1 at1 wx sc1 rx1 s2 at2 c2 sc2

+starting permutation: s1 rx1 at1 wx sc1 rx3 s2 at2 c2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1917,7 +1917,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1928,7 +1928,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: s1 rx1 at1 wx sc1 rx1 s2 c2 at2 sc2

+starting permutation: s1 rx1 at1 wx sc1 rx3 s2 c2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1938,7 +1938,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1949,7 +1949,7 @@ step c2: COMMIT;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 rx1 at1 wx sc1 rx1 c2 s2 at2 sc2

+starting permutation: s1 rx1 at1 wx sc1 rx3 c2 s2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1959,7 +1959,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -1970,7 +1970,7 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 rx1 at1 wx rx1 sc1 s2 at2 sc2 c2

+starting permutation: s1 rx1 at1 wx rx3 sc1 s2 at2 sc2 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1980,7 +1980,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step wx: INSERT INTO b VALUES (0); <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 at1 wx rx1 sc1 s2 at2 c2 sc2

+starting permutation: s1 rx1 at1 wx rx3 sc1 s2 at2 c2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -1990,7 +1990,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step wx: INSERT INTO b VALUES (0); <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 at1 wx rx1 sc1 s2 c2 at2 sc2

+starting permutation: s1 rx1 at1 wx rx3 sc1 s2 c2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2000,7 +2000,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step wx: INSERT INTO b VALUES (0); <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 at1 wx rx1 sc1 c2 s2 at2 sc2

+starting permutation: s1 rx1 at1 wx rx3 sc1 c2 s2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2010,7 +2010,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step wx: INSERT INTO b VALUES (0); <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 at1 wx rx1 c2 sc1 s2 at2 sc2

+starting permutation: s1 rx1 at1 wx rx3 c2 sc1 s2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2020,7 +2020,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step wx: INSERT INTO b VALUES (0); <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 wx at1 sc1 s2 at2 sc2 rx1 c2

+starting permutation: s1 rx1 wx at1 sc1 s2 at2 sc2 rx3 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2030,7 +2030,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 wx at1 sc1 s2 at2 rx1 sc2 c2

+starting permutation: s1 rx1 wx at1 sc1 s2 at2 rx3 sc2 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2040,7 +2040,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 wx at1 sc1 s2 at2 rx1 c2 sc2

+starting permutation: s1 rx1 wx at1 sc1 s2 at2 rx3 c2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2050,7 +2050,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 wx at1 sc1 s2 rx1 at2 sc2 c2

+starting permutation: s1 rx1 wx at1 sc1 s2 rx3 at2 sc2 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2060,7 +2060,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 wx at1 sc1 s2 rx1 at2 c2 sc2

+starting permutation: s1 rx1 wx at1 sc1 s2 rx3 at2 c2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2070,7 +2070,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 wx at1 sc1 s2 rx1 c2 at2 sc2

+starting permutation: s1 rx1 wx at1 sc1 s2 rx3 c2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2080,7 +2080,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 wx at1 sc1 rx1 s2 at2 sc2 c2

+starting permutation: s1 rx1 wx at1 sc1 rx3 s2 at2 sc2 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2090,7 +2090,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 wx at1 sc1 rx1 s2 at2 c2 sc2

+starting permutation: s1 rx1 wx at1 sc1 rx3 s2 at2 c2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2100,7 +2100,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 wx at1 sc1 rx1 s2 c2 at2 sc2

+starting permutation: s1 rx1 wx at1 sc1 rx3 s2 c2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2110,7 +2110,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 wx at1 sc1 rx1 c2 s2 at2 sc2

+starting permutation: s1 rx1 wx at1 sc1 rx3 c2 s2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2120,7 +2120,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 wx at1 rx1 sc1 s2 at2 sc2 c2

+starting permutation: s1 rx1 wx at1 rx3 sc1 s2 at2 sc2 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2128,7 +2128,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2136,7 +2136,7 @@ a_id

invalid permutation detected

-starting permutation: s1 rx1 wx at1 rx1 sc1 s2 at2 c2 sc2

+starting permutation: s1 rx1 wx at1 rx3 sc1 s2 at2 c2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2144,7 +2144,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2152,7 +2152,7 @@ a_id

invalid permutation detected

-starting permutation: s1 rx1 wx at1 rx1 sc1 s2 c2 at2 sc2

+starting permutation: s1 rx1 wx at1 rx3 sc1 s2 c2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2160,7 +2160,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2168,7 +2168,7 @@ a_id

invalid permutation detected

-starting permutation: s1 rx1 wx at1 rx1 sc1 c2 s2 at2 sc2

+starting permutation: s1 rx1 wx at1 rx3 sc1 c2 s2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2176,7 +2176,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2184,7 +2184,7 @@ a_id

invalid permutation detected

-starting permutation: s1 rx1 wx at1 rx1 c2 sc1 s2 at2 sc2

+starting permutation: s1 rx1 wx at1 rx3 c2 sc1 s2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2192,7 +2192,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2205,14 +2205,14 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 rx1 wx rx1 at1 sc1 s2 at2 sc2 c2

+starting permutation: s1 rx1 wx rx3 at1 sc1 s2 at2 sc2 c2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2221,14 +2221,14 @@ a_id

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 wx rx1 at1 sc1 s2 at2 c2 sc2

+starting permutation: s1 rx1 wx rx3 at1 sc1 s2 at2 c2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2237,14 +2237,14 @@ a_id

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 wx rx1 at1 sc1 s2 c2 at2 sc2

+starting permutation: s1 rx1 wx rx3 at1 sc1 s2 c2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2253,14 +2253,14 @@ a_id

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 wx rx1 at1 sc1 c2 s2 at2 sc2

+starting permutation: s1 rx1 wx rx3 at1 sc1 c2 s2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2269,14 +2269,14 @@ a_id

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: s1 rx1 wx rx1 at1 c2 sc1 s2 at2 sc2

+starting permutation: s1 rx1 wx rx3 at1 c2 sc1 s2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2290,14 +2290,14 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: s1 rx1 wx rx1 c2 at1 sc1 s2 at2 sc2

+starting permutation: s1 rx1 wx rx3 c2 at1 sc1 s2 at2 sc2

step s1: BEGIN;

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2310,7 +2310,7 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 s2 at2 sc2 wx rx1 c2

+starting permutation: rx1 s1 at1 sc1 s2 at2 sc2 wx rx3 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2322,7 +2322,7 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2330,7 +2330,7 @@ a_id

step c2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 s2 at2 wx sc2 rx1 c2

+starting permutation: rx1 s1 at1 sc1 s2 at2 wx sc2 rx3 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2342,7 +2342,7 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step wx: INSERT INTO b VALUES (0);

step sc2: COMMIT;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2350,7 +2350,7 @@ a_id

step c2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 s2 at2 wx rx1 sc2 c2

+starting permutation: rx1 s1 at1 sc1 s2 at2 wx rx3 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2361,7 +2361,7 @@ step sc1: COMMIT;

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2370,7 +2370,7 @@ a_id

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 s2 at2 wx rx1 c2 sc2

+starting permutation: rx1 s1 at1 sc1 s2 at2 wx rx3 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2381,7 +2381,7 @@ step sc1: COMMIT;

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2390,7 +2390,7 @@ a_id

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 s2 wx at2 sc2 rx1 c2

+starting permutation: rx1 s1 at1 sc1 s2 wx at2 sc2 rx3 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2402,7 +2402,7 @@ step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2410,7 +2410,7 @@ a_id

step c2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 s2 wx at2 rx1 sc2 c2

+starting permutation: rx1 s1 at1 sc1 s2 wx at2 rx3 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2421,7 +2421,7 @@ step sc1: COMMIT;

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2430,7 +2430,7 @@ a_id

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 s2 wx at2 rx1 c2 sc2

+starting permutation: rx1 s1 at1 sc1 s2 wx at2 rx3 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2441,7 +2441,7 @@ step sc1: COMMIT;

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2450,7 +2450,7 @@ a_id

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 s2 wx rx1 at2 sc2 c2

+starting permutation: rx1 s1 at1 sc1 s2 wx rx3 at2 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2460,7 +2460,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step sc1: COMMIT;

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2470,7 +2470,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 s2 wx rx1 at2 c2 sc2

+starting permutation: rx1 s1 at1 sc1 s2 wx rx3 at2 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2480,7 +2480,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step sc1: COMMIT;

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2490,7 +2490,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 s2 wx rx1 c2 at2 sc2

+starting permutation: rx1 s1 at1 sc1 s2 wx rx3 c2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2500,7 +2500,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step sc1: COMMIT;

step s2: BEGIN;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2510,7 +2510,7 @@ step c2: COMMIT;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 wx s2 at2 sc2 rx1 c2

+starting permutation: rx1 s1 at1 sc1 wx s2 at2 sc2 rx3 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2522,7 +2522,7 @@ step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2530,7 +2530,7 @@ a_id

step c2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 wx s2 at2 rx1 sc2 c2

+starting permutation: rx1 s1 at1 sc1 wx s2 at2 rx3 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2541,7 +2541,7 @@ step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2550,7 +2550,7 @@ a_id

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 wx s2 at2 rx1 c2 sc2

+starting permutation: rx1 s1 at1 sc1 wx s2 at2 rx3 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2561,7 +2561,7 @@ step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2570,7 +2570,7 @@ a_id

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 wx s2 rx1 at2 sc2 c2

+starting permutation: rx1 s1 at1 sc1 wx s2 rx3 at2 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2580,7 +2580,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2590,7 +2590,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 wx s2 rx1 at2 c2 sc2

+starting permutation: rx1 s1 at1 sc1 wx s2 rx3 at2 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2600,7 +2600,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2610,7 +2610,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 wx s2 rx1 c2 at2 sc2

+starting permutation: rx1 s1 at1 sc1 wx s2 rx3 c2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2620,7 +2620,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2630,7 +2630,7 @@ step c2: COMMIT;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 wx rx1 s2 at2 sc2 c2

+starting permutation: rx1 s1 at1 sc1 wx rx3 s2 at2 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2639,7 +2639,7 @@ step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2650,7 +2650,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 wx rx1 s2 at2 c2 sc2

+starting permutation: rx1 s1 at1 sc1 wx rx3 s2 at2 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2659,7 +2659,7 @@ step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2670,7 +2670,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 wx rx1 s2 c2 at2 sc2

+starting permutation: rx1 s1 at1 sc1 wx rx3 s2 c2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2679,7 +2679,7 @@ step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2690,7 +2690,7 @@ step c2: COMMIT;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: rx1 s1 at1 sc1 wx rx1 c2 s2 at2 sc2

+starting permutation: rx1 s1 at1 sc1 wx rx3 c2 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2699,7 +2699,7 @@ step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;

step sc1: COMMIT;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2710,7 +2710,7 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: rx1 s1 at1 wx sc1 s2 at2 sc2 rx1 c2

+starting permutation: rx1 s1 at1 wx sc1 s2 at2 sc2 rx3 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2723,7 +2723,7 @@ step wx: <... completed>

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2731,7 +2731,7 @@ a_id

step c2: COMMIT;

-starting permutation: rx1 s1 at1 wx sc1 s2 at2 rx1 sc2 c2

+starting permutation: rx1 s1 at1 wx sc1 s2 at2 rx3 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2743,7 +2743,7 @@ step sc1: COMMIT;

step wx: <... completed>

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2752,7 +2752,7 @@ a_id

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: rx1 s1 at1 wx sc1 s2 at2 rx1 c2 sc2

+starting permutation: rx1 s1 at1 wx sc1 s2 at2 rx3 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2764,7 +2764,7 @@ step sc1: COMMIT;

step wx: <... completed>

step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2773,7 +2773,7 @@ a_id

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: rx1 s1 at1 wx sc1 s2 rx1 at2 sc2 c2

+starting permutation: rx1 s1 at1 wx sc1 s2 rx3 at2 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2784,7 +2784,7 @@ step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2794,7 +2794,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: rx1 s1 at1 wx sc1 s2 rx1 at2 c2 sc2

+starting permutation: rx1 s1 at1 wx sc1 s2 rx3 at2 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2805,7 +2805,7 @@ step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2815,7 +2815,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: rx1 s1 at1 wx sc1 s2 rx1 c2 at2 sc2

+starting permutation: rx1 s1 at1 wx sc1 s2 rx3 c2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2826,7 +2826,7 @@ step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

step s2: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2836,7 +2836,7 @@ step c2: COMMIT;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: rx1 s1 at1 wx sc1 rx1 s2 at2 sc2 c2

+starting permutation: rx1 s1 at1 wx sc1 rx3 s2 at2 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2846,7 +2846,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2857,7 +2857,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

step c2: COMMIT;

-starting permutation: rx1 s1 at1 wx sc1 rx1 s2 at2 c2 sc2

+starting permutation: rx1 s1 at1 wx sc1 rx3 s2 at2 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2867,7 +2867,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2878,7 +2878,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step c2: COMMIT;

step sc2: COMMIT;

-starting permutation: rx1 s1 at1 wx sc1 rx1 s2 c2 at2 sc2

+starting permutation: rx1 s1 at1 wx sc1 rx3 s2 c2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2888,7 +2888,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2899,7 +2899,7 @@ step c2: COMMIT;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: rx1 s1 at1 wx sc1 rx1 c2 s2 at2 sc2

+starting permutation: rx1 s1 at1 wx sc1 rx3 c2 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2909,7 +2909,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step wx: INSERT INTO b VALUES (0); <waiting ...>

step sc1: COMMIT;

step wx: <... completed>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -2920,7 +2920,7 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: rx1 s1 at1 wx rx1 sc1 s2 at2 sc2 c2

+starting permutation: rx1 s1 at1 wx rx3 sc1 s2 at2 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2930,7 +2930,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step wx: INSERT INTO b VALUES (0); <waiting ...>

invalid permutation detected

-starting permutation: rx1 s1 at1 wx rx1 sc1 s2 at2 c2 sc2

+starting permutation: rx1 s1 at1 wx rx3 sc1 s2 at2 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2940,7 +2940,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step wx: INSERT INTO b VALUES (0); <waiting ...>

invalid permutation detected

-starting permutation: rx1 s1 at1 wx rx1 sc1 s2 c2 at2 sc2

+starting permutation: rx1 s1 at1 wx rx3 sc1 s2 c2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2950,7 +2950,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step wx: INSERT INTO b VALUES (0); <waiting ...>

invalid permutation detected

-starting permutation: rx1 s1 at1 wx rx1 sc1 c2 s2 at2 sc2

+starting permutation: rx1 s1 at1 wx rx3 sc1 c2 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2960,7 +2960,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step wx: INSERT INTO b VALUES (0); <waiting ...>

invalid permutation detected

-starting permutation: rx1 s1 at1 wx rx1 c2 sc1 s2 at2 sc2

+starting permutation: rx1 s1 at1 wx rx3 c2 sc1 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2970,7 +2970,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N

step wx: INSERT INTO b VALUES (0); <waiting ...>

invalid permutation detected

-starting permutation: rx1 s1 wx at1 sc1 s2 at2 sc2 rx1 c2

+starting permutation: rx1 s1 wx at1 sc1 s2 at2 sc2 rx3 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2980,7 +2980,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 s1 wx at1 sc1 s2 at2 rx1 sc2 c2

+starting permutation: rx1 s1 wx at1 sc1 s2 at2 rx3 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -2990,7 +2990,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 s1 wx at1 sc1 s2 at2 rx1 c2 sc2

+starting permutation: rx1 s1 wx at1 sc1 s2 at2 rx3 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3000,7 +3000,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 s1 wx at1 sc1 s2 rx1 at2 sc2 c2

+starting permutation: rx1 s1 wx at1 sc1 s2 rx3 at2 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3010,7 +3010,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 s1 wx at1 sc1 s2 rx1 at2 c2 sc2

+starting permutation: rx1 s1 wx at1 sc1 s2 rx3 at2 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3020,7 +3020,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 s1 wx at1 sc1 s2 rx1 c2 at2 sc2

+starting permutation: rx1 s1 wx at1 sc1 s2 rx3 c2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3030,7 +3030,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 s1 wx at1 sc1 rx1 s2 at2 sc2 c2

+starting permutation: rx1 s1 wx at1 sc1 rx3 s2 at2 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3040,7 +3040,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 s1 wx at1 sc1 rx1 s2 at2 c2 sc2

+starting permutation: rx1 s1 wx at1 sc1 rx3 s2 at2 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3050,7 +3050,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 s1 wx at1 sc1 rx1 s2 c2 at2 sc2

+starting permutation: rx1 s1 wx at1 sc1 rx3 s2 c2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3060,7 +3060,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 s1 wx at1 sc1 rx1 c2 s2 at2 sc2

+starting permutation: rx1 s1 wx at1 sc1 rx3 c2 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3070,7 +3070,7 @@ step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 s1 wx at1 rx1 sc1 s2 at2 sc2 c2

+starting permutation: rx1 s1 wx at1 rx3 sc1 s2 at2 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3078,7 +3078,7 @@ a_id

step s1: BEGIN;

step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3086,7 +3086,7 @@ a_id

invalid permutation detected

-starting permutation: rx1 s1 wx at1 rx1 sc1 s2 at2 c2 sc2

+starting permutation: rx1 s1 wx at1 rx3 sc1 s2 at2 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3094,7 +3094,7 @@ a_id

step s1: BEGIN;

step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3102,7 +3102,7 @@ a_id

invalid permutation detected

-starting permutation: rx1 s1 wx at1 rx1 sc1 s2 c2 at2 sc2

+starting permutation: rx1 s1 wx at1 rx3 sc1 s2 c2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3110,7 +3110,7 @@ a_id

step s1: BEGIN;

step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3118,7 +3118,7 @@ a_id

invalid permutation detected

-starting permutation: rx1 s1 wx at1 rx1 sc1 c2 s2 at2 sc2

+starting permutation: rx1 s1 wx at1 rx3 sc1 c2 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3126,7 +3126,7 @@ a_id

step s1: BEGIN;

step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3134,7 +3134,7 @@ a_id

invalid permutation detected

-starting permutation: rx1 s1 wx at1 rx1 c2 sc1 s2 at2 sc2

+starting permutation: rx1 s1 wx at1 rx3 c2 sc1 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3142,7 +3142,7 @@ a_id

step s1: BEGIN;

step wx: INSERT INTO b VALUES (0);

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3155,14 +3155,14 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: rx1 s1 wx rx1 at1 sc1 s2 at2 sc2 c2

+starting permutation: rx1 s1 wx rx3 at1 sc1 s2 at2 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step s1: BEGIN;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3171,14 +3171,14 @@ a_id

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 s1 wx rx1 at1 sc1 s2 at2 c2 sc2

+starting permutation: rx1 s1 wx rx3 at1 sc1 s2 at2 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step s1: BEGIN;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3187,14 +3187,14 @@ a_id

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 s1 wx rx1 at1 sc1 s2 c2 at2 sc2

+starting permutation: rx1 s1 wx rx3 at1 sc1 s2 c2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step s1: BEGIN;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3203,14 +3203,14 @@ a_id

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 s1 wx rx1 at1 sc1 c2 s2 at2 sc2

+starting permutation: rx1 s1 wx rx3 at1 sc1 c2 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step s1: BEGIN;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3219,14 +3219,14 @@ a_id

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 s1 wx rx1 at1 c2 sc1 s2 at2 sc2

+starting permutation: rx1 s1 wx rx3 at1 c2 sc1 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step s1: BEGIN;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3240,14 +3240,14 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: rx1 s1 wx rx1 c2 at1 sc1 s2 at2 sc2

+starting permutation: rx1 s1 wx rx3 c2 at1 sc1 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step s1: BEGIN;

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3260,7 +3260,7 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: rx1 wx s1 at1 sc1 s2 at2 sc2 rx1 c2

+starting permutation: rx1 wx s1 at1 sc1 s2 at2 sc2 rx3 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3270,7 +3270,7 @@ step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 wx s1 at1 sc1 s2 at2 rx1 sc2 c2

+starting permutation: rx1 wx s1 at1 sc1 s2 at2 rx3 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3280,7 +3280,7 @@ step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 wx s1 at1 sc1 s2 at2 rx1 c2 sc2

+starting permutation: rx1 wx s1 at1 sc1 s2 at2 rx3 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3290,7 +3290,7 @@ step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 wx s1 at1 sc1 s2 rx1 at2 sc2 c2

+starting permutation: rx1 wx s1 at1 sc1 s2 rx3 at2 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3300,7 +3300,7 @@ step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 wx s1 at1 sc1 s2 rx1 at2 c2 sc2

+starting permutation: rx1 wx s1 at1 sc1 s2 rx3 at2 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3310,7 +3310,7 @@ step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 wx s1 at1 sc1 s2 rx1 c2 at2 sc2

+starting permutation: rx1 wx s1 at1 sc1 s2 rx3 c2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3320,7 +3320,7 @@ step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 wx s1 at1 sc1 rx1 s2 at2 sc2 c2

+starting permutation: rx1 wx s1 at1 sc1 rx3 s2 at2 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3330,7 +3330,7 @@ step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 wx s1 at1 sc1 rx1 s2 at2 c2 sc2

+starting permutation: rx1 wx s1 at1 sc1 rx3 s2 at2 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3340,7 +3340,7 @@ step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 wx s1 at1 sc1 rx1 s2 c2 at2 sc2

+starting permutation: rx1 wx s1 at1 sc1 rx3 s2 c2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3350,7 +3350,7 @@ step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 wx s1 at1 sc1 rx1 c2 s2 at2 sc2

+starting permutation: rx1 wx s1 at1 sc1 rx3 c2 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3360,7 +3360,7 @@ step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 wx s1 at1 rx1 sc1 s2 at2 sc2 c2

+starting permutation: rx1 wx s1 at1 rx3 sc1 s2 at2 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3368,7 +3368,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3376,7 +3376,7 @@ a_id

invalid permutation detected

-starting permutation: rx1 wx s1 at1 rx1 sc1 s2 at2 c2 sc2

+starting permutation: rx1 wx s1 at1 rx3 sc1 s2 at2 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3384,7 +3384,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3392,7 +3392,7 @@ a_id

invalid permutation detected

-starting permutation: rx1 wx s1 at1 rx1 sc1 s2 c2 at2 sc2

+starting permutation: rx1 wx s1 at1 rx3 sc1 s2 c2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3400,7 +3400,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3408,7 +3408,7 @@ a_id

invalid permutation detected

-starting permutation: rx1 wx s1 at1 rx1 sc1 c2 s2 at2 sc2

+starting permutation: rx1 wx s1 at1 rx3 sc1 c2 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3416,7 +3416,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3424,7 +3424,7 @@ a_id

invalid permutation detected

-starting permutation: rx1 wx s1 at1 rx1 c2 sc1 s2 at2 sc2

+starting permutation: rx1 wx s1 at1 rx3 c2 sc1 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

@@ -3432,7 +3432,7 @@ a_id

step wx: INSERT INTO b VALUES (0);

step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3445,14 +3445,14 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: rx1 wx s1 rx1 at1 sc1 s2 at2 sc2 c2

+starting permutation: rx1 wx s1 rx3 at1 sc1 s2 at2 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step wx: INSERT INTO b VALUES (0);

step s1: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3461,14 +3461,14 @@ a_id

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 wx s1 rx1 at1 sc1 s2 at2 c2 sc2

+starting permutation: rx1 wx s1 rx3 at1 sc1 s2 at2 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step wx: INSERT INTO b VALUES (0);

step s1: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3477,14 +3477,14 @@ a_id

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 wx s1 rx1 at1 sc1 s2 c2 at2 sc2

+starting permutation: rx1 wx s1 rx3 at1 sc1 s2 c2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step wx: INSERT INTO b VALUES (0);

step s1: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3493,14 +3493,14 @@ a_id

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 wx s1 rx1 at1 sc1 c2 s2 at2 sc2

+starting permutation: rx1 wx s1 rx3 at1 sc1 c2 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step wx: INSERT INTO b VALUES (0);

step s1: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3509,14 +3509,14 @@ a_id

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 wx s1 rx1 at1 c2 sc1 s2 at2 sc2

+starting permutation: rx1 wx s1 rx3 at1 c2 sc1 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step wx: INSERT INTO b VALUES (0);

step s1: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3530,14 +3530,14 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: rx1 wx s1 rx1 c2 at1 sc1 s2 at2 sc2

+starting permutation: rx1 wx s1 rx3 c2 at1 sc1 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step wx: INSERT INTO b VALUES (0);

step s1: BEGIN;

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3550,13 +3550,13 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: rx1 wx rx1 s1 at1 sc1 s2 at2 sc2 c2

+starting permutation: rx1 wx rx3 s1 at1 sc1 s2 at2 sc2 c2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3566,13 +3566,13 @@ step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 wx rx1 s1 at1 sc1 s2 at2 c2 sc2

+starting permutation: rx1 wx rx3 s1 at1 sc1 s2 at2 c2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3582,13 +3582,13 @@ step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 wx rx1 s1 at1 sc1 s2 c2 at2 sc2

+starting permutation: rx1 wx rx3 s1 at1 sc1 s2 c2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3598,13 +3598,13 @@ step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 wx rx1 s1 at1 sc1 c2 s2 at2 sc2

+starting permutation: rx1 wx rx3 s1 at1 sc1 c2 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3614,13 +3614,13 @@ step s1: BEGIN;

step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>

invalid permutation detected

-starting permutation: rx1 wx rx1 s1 at1 c2 sc1 s2 at2 sc2

+starting permutation: rx1 wx rx3 s1 at1 c2 sc1 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3635,13 +3635,13 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: rx1 wx rx1 s1 c2 at1 sc1 s2 at2 sc2

+starting permutation: rx1 wx rx3 s1 c2 at1 sc1 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

@@ -3655,13 +3655,13 @@ step s2: BEGIN;

step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;

step sc2: COMMIT;

-starting permutation: rx1 wx rx1 c2 s1 at1 sc1 s2 at2 sc2

+starting permutation: rx1 wx rx3 c2 s1 at1 sc1 s2 at2 sc2

step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;

a_id

step wx: INSERT INTO b VALUES (0);

-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;

a_id

diff --git a/src/test/isolation/isolationtester.c b/src/test/isolation/isolationtester.c

index 18e1445d81c76ab66d0a03e528cb104967730302..ab4150143f7c5f8e298afe2b541ebe97031a712f 100644 (file)

--- a/src/test/isolation/isolationtester.c

+++ b/src/test/isolation/isolationtester.c

@@ -66,10 +66,14 @@ main(int argc, char **argv)

{

const char *conninfo;

TestSpec *testspec;

- int i;

+ int i,

+ j;

+ int n;

PGresult *res;

PQExpBufferData wait_query;

int opt;

+ int nallsteps;

+ Step **allsteps;

while ((opt = getopt(argc, argv, "nV")) != -1)

{

@@ -109,6 +113,36 @@ main(int argc, char **argv)

spec_yyparse();

testspec = &parseresult;

+ /* Create a lookup table of all steps. */

+ nallsteps = 0;

+ for (i = 0; i < testspec->nsessions; i++)

+ nallsteps += testspec->sessions[i]->nsteps;

+ allsteps = malloc(nallsteps * sizeof(Step *));

+ n = 0;

+ for (i = 0; i < testspec->nsessions; i++)

+ {

+ for (j = 0; j < testspec->sessions[i]->nsteps; j++)

+ allsteps[n++] = testspec->sessions[i]->steps[j];

+ }

+ qsort(allsteps, nallsteps, sizeof(Step *), &step_qsort_cmp);

+ testspec->nallsteps = nallsteps;

+ testspec->allsteps = allsteps;

+ /* Verify that all step names are unique */

+ for (i = 1; i < testspec->nallsteps; i++)

+ {

+ if (strcmp(testspec->allsteps[i - 1]->name,

+ testspec->allsteps[i]->name) == 0)

+ {

+ fprintf(stderr, "duplicate step name: %s\n",

+ testspec->allsteps[i]->name);

+ exit_nicely();

+ }

* In dry-run mode, just print the permutations that would be run, and

* exit.

@@ -367,25 +401,6 @@ run_named_permutations(TestSpec *testspec)

{

int i,

- int n;

- int nallsteps;

- Step **allsteps;

- /* First create a lookup table of all steps */

- nallsteps = 0;

- for (i = 0; i < testspec->nsessions; i++)

- nallsteps += testspec->sessions[i]->nsteps;

- allsteps = malloc(nallsteps * sizeof(Step *));

- n = 0;

- for (i = 0; i < testspec->nsessions; i++)

- {

- for (j = 0; j < testspec->sessions[i]->nsteps; j++)

- allsteps[n++] = testspec->sessions[i]->steps[j];

- }

- qsort(allsteps, nallsteps, sizeof(Step *), &step_qsort_cmp);

for (i = 0; i < testspec->npermutations; i++)

{

@@ -397,8 +412,10 @@ run_named_permutations(TestSpec *testspec)

/* Find all the named steps using the lookup table */

for (j = 0; j < p->nsteps; j++)

{

- Step **this = (Step **) bsearch(p->stepnames[j], allsteps,

- nallsteps, sizeof(Step *),

+ Step **this = (Step **) bsearch(p->stepnames[j],

+ testspec->allsteps,

+ testspec->nallsteps,

+ sizeof(Step *),

&step_bsearch_cmp);

if (this == NULL)

diff --git a/src/test/isolation/isolationtester.h b/src/test/isolation/isolationtester.h

index a6bca08eb0d0fec370827eb8e4cf48f1397ecfb6..612fec53c49429170ccf640e046d93a37d83fca0 100644 (file)

--- a/src/test/isolation/isolationtester.h

+++ b/src/test/isolation/isolationtester.h

@@ -49,6 +49,8 @@ typedef struct

int nsessions;

Permutation **permutations;

int npermutations;

+ Step **allsteps;

+ int nallsteps;

} TestSpec;

extern TestSpec parseresult;

diff --git a/src/test/isolation/specs/alter-table-1.spec b/src/test/isolation/specs/alter-table-1.spec

index 7a7fe5510511a8998117988255ec49527c4743d5..6b38dc10d6b8eb6717f280b30619bafcb0781ca0 100644 (file)

--- a/src/test/isolation/specs/alter-table-1.spec

+++ b/src/test/isolation/specs/alter-table-1.spec

@@ -28,5 +28,5 @@ session "s2"

setup { BEGIN; }

step "rx1" { SELECT * FROM b WHERE a_id = 1 LIMIT 1; }

step "wx" { INSERT INTO b VALUES (0); }

-step "rx1" { SELECT * FROM b WHERE a_id = 3 LIMIT 3; }

+step "rx3" { SELECT * FROM b WHERE a_id = 3 LIMIT 3; }

step "c2" { COMMIT; }

This is the main PostgreSQL git repository.

RSS Atom