From: Robert Haas Date: Sat, 15 Aug 2015 02:09:27 +0000 (-0400) Subject: Reject isolation test specifications with duplicate step names. X-Git-Tag: REL9_6_BETA1~1482 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=43b4a16817c8b5568cec72f3b0e1c8209f5ac7f7;p=postgresql Reject isolation test specifications with duplicate step names. alter-table-1.spec has such a case, so change one instance of step rx1 to rx3 instead. --- diff --git a/src/test/isolation/expected/alter-table-1.out b/src/test/isolation/expected/alter-table-1.out index 9daa418648..61812e6fc4 100644 --- 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 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; a_id 3 @@ -20,7 +20,7 @@ a_id 3 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 1 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 3 @@ -40,7 +40,7 @@ a_id 3 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 1 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 3 @@ -60,7 +60,7 @@ a_id 3 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 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; a_id 3 @@ -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 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; a_id 3 @@ -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 3 @@ -120,7 +120,7 @@ a_id 3 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 3 @@ -140,7 +140,7 @@ a_id 3 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 1 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 3 @@ -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 1 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 3 @@ -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 3 @@ -200,7 +200,7 @@ a_id 3 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 1 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 3 @@ -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 1 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 3 @@ -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 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; a_id 3 @@ -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 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; a_id 3 @@ -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 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; a_id 3 @@ -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 3 @@ -320,7 +320,7 @@ a_id 3 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 3 @@ -340,7 +340,7 @@ a_id 3 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 3 @@ -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 3 @@ -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 3 @@ -400,7 +400,7 @@ a_id 3 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 3 @@ -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 3 @@ -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 1 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 3 @@ -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 1 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 3 @@ -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 1 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 3 @@ -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 3 @@ -520,7 +520,7 @@ a_id 3 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 3 @@ -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 3 @@ -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 1 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 3 @@ -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 1 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 3 @@ -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 1 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 3 @@ -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 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; a_id 3 @@ -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 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; a_id 3 @@ -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 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; a_id 3 @@ -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 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; a_id 3 @@ -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 3 @@ -720,7 +720,7 @@ a_id 3 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 3 @@ -740,7 +740,7 @@ a_id 3 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 3 @@ -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 3 @@ -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 3 @@ -800,7 +800,7 @@ a_id 3 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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -920,7 +920,7 @@ a_id 3 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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 1 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 3 @@ -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 1 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 3 @@ -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 1 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 3 @@ -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 1 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 3 @@ -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 3 @@ -1121,7 +1121,7 @@ a_id 3 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 3 @@ -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 3 @@ -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); 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 3 @@ -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); 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 3 @@ -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); 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 3 @@ -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); 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 3 @@ -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); 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 3 @@ -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); 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 3 @@ -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); 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 3 @@ -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); 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); 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); 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); 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); 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 3 @@ -1380,7 +1380,7 @@ a_id 3 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 3 @@ -1400,7 +1400,7 @@ a_id 3 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 3 @@ -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 3 @@ -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 3 @@ -1460,7 +1460,7 @@ a_id 3 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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -1580,7 +1580,7 @@ a_id 3 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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -1781,7 +1781,7 @@ a_id 3 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 3 @@ -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 3 @@ -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); 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 3 @@ -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); 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 3 @@ -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); 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 3 @@ -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); 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 3 @@ -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); 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 3 @@ -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); 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 3 @@ -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); 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 3 @@ -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); 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); 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); 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); 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); 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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 1 step wx: INSERT INTO b VALUES (0); 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 = 3 LIMIT 3; +step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3; a_id 3 @@ -2136,7 +2136,7 @@ a_id 3 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 1 step wx: INSERT INTO b VALUES (0); 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 = 3 LIMIT 3; +step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3; a_id 3 @@ -2152,7 +2152,7 @@ a_id 3 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 1 step wx: INSERT INTO b VALUES (0); 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 = 3 LIMIT 3; +step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3; a_id 3 @@ -2168,7 +2168,7 @@ a_id 3 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 1 step wx: INSERT INTO b VALUES (0); 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 = 3 LIMIT 3; +step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3; a_id 3 @@ -2184,7 +2184,7 @@ a_id 3 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 1 step wx: INSERT INTO b VALUES (0); 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 = 3 LIMIT 3; +step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3; a_id 3 @@ -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 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; a_id 3 @@ -2221,14 +2221,14 @@ a_id step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; 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 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; a_id 3 @@ -2237,14 +2237,14 @@ a_id step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; 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 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; a_id 3 @@ -2253,14 +2253,14 @@ a_id step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; 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 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; a_id 3 @@ -2269,14 +2269,14 @@ a_id step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; 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 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; a_id 3 @@ -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 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; a_id 3 @@ -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 3 @@ -2330,7 +2330,7 @@ a_id 3 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 3 @@ -2350,7 +2350,7 @@ a_id 3 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 3 @@ -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 3 @@ -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 3 @@ -2410,7 +2410,7 @@ a_id 3 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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -2530,7 +2530,7 @@ a_id 3 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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -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 3 @@ -2731,7 +2731,7 @@ a_id 3 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 3 @@ -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 3 @@ -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); 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 3 @@ -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); 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 3 @@ -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); 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 3 @@ -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); 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 3 @@ -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); 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 3 @@ -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); 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 3 @@ -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); 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 3 @@ -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); 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); 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); 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); 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); 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; -step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3; +step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3; a_id 3 @@ -3086,7 +3086,7 @@ a_id 3 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; -step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3; +step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3; a_id 3 @@ -3102,7 +3102,7 @@ a_id 3 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; -step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3; +step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3; a_id 3 @@ -3118,7 +3118,7 @@ a_id 3 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; -step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3; +step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3; a_id 3 @@ -3134,7 +3134,7 @@ a_id 3 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; -step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3; +step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3; a_id 3 @@ -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 1 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 3 @@ -3171,14 +3171,14 @@ a_id step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; 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 1 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 3 @@ -3187,14 +3187,14 @@ a_id step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; 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 1 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 3 @@ -3203,14 +3203,14 @@ a_id step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; 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 1 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 3 @@ -3219,14 +3219,14 @@ a_id step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; 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 1 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 3 @@ -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 1 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 3 @@ -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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; -step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3; +step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3; a_id 3 @@ -3376,7 +3376,7 @@ a_id 3 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; -step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3; +step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3; a_id 3 @@ -3392,7 +3392,7 @@ a_id 3 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; -step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3; +step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3; a_id 3 @@ -3408,7 +3408,7 @@ a_id 3 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; -step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3; +step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3; a_id 3 @@ -3424,7 +3424,7 @@ a_id 3 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; -step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3; +step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3; a_id 3 @@ -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 1 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 3 @@ -3461,14 +3461,14 @@ a_id step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; 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 1 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 3 @@ -3477,14 +3477,14 @@ a_id step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; 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 1 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 3 @@ -3493,14 +3493,14 @@ a_id step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; 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 1 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 3 @@ -3509,14 +3509,14 @@ a_id step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; 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 1 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 3 @@ -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 1 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 3 @@ -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 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; a_id 3 @@ -3566,13 +3566,13 @@ step s1: BEGIN; step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; 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 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; a_id 3 @@ -3582,13 +3582,13 @@ step s1: BEGIN; step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; 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 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; a_id 3 @@ -3598,13 +3598,13 @@ step s1: BEGIN; step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; 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 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; a_id 3 @@ -3614,13 +3614,13 @@ step s1: BEGIN; step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; 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 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; a_id 3 @@ -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 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; a_id 3 @@ -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 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; a_id 3 diff --git a/src/test/isolation/isolationtester.c b/src/test/isolation/isolationtester.c index 18e1445d81..ab4150143f 100644 --- 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, j; - 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 a6bca08eb0..612fec53c4 100644 --- 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 7a7fe55105..6b38dc10d6 100644 --- 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; }