Parsed test spec with 2 sessions

starting permutation: s2b s2i s2c s1b s1merg s2b s2u s1c s2c s2s
step s2b: BEGIN;
step s2i: INSERT INTO tpart VALUES (1, 'text01');
step s2c: COMMIT;
step s1b: BEGIN;
step s1merg: ALTER TABLE tpart MERGE PARTITIONS (tpart_00_10, tpart_10_20) INTO tpart_00_20;
step s2b: BEGIN;
step s2u: UPDATE tpart SET t = 'text01modif' where i = 1; <waiting ...>
step s1c: COMMIT;
step s2u: <... completed>
step s2c: COMMIT;
step s2s: SELECT tableoid::regclass, * FROM tpart ORDER BY tableoid::regclass::text COLLATE "C", i;
tableoid     | i|t          
-------------+--+-----------
tpart_00_20  | 1|text01modif
tpart_00_20  | 5|text05     
tpart_00_20  |15|text15     
tpart_20_30  |25|text25     
tpart_default|35|text35     
(5 rows)


starting permutation: s2b s2i s2c s1brr s1merg s2b s2u s1c s2c s2s
step s2b: BEGIN;
step s2i: INSERT INTO tpart VALUES (1, 'text01');
step s2c: COMMIT;
step s1brr: BEGIN ISOLATION LEVEL REPEATABLE READ;
step s1merg: ALTER TABLE tpart MERGE PARTITIONS (tpart_00_10, tpart_10_20) INTO tpart_00_20;
step s2b: BEGIN;
step s2u: UPDATE tpart SET t = 'text01modif' where i = 1; <waiting ...>
step s1c: COMMIT;
step s2u: <... completed>
step s2c: COMMIT;
step s2s: SELECT tableoid::regclass, * FROM tpart ORDER BY tableoid::regclass::text COLLATE "C", i;
tableoid     | i|t          
-------------+--+-----------
tpart_00_20  | 1|text01modif
tpart_00_20  | 5|text05     
tpart_00_20  |15|text15     
tpart_20_30  |25|text25     
tpart_default|35|text35     
(5 rows)


starting permutation: s2b s2i s2c s1bs s1merg s2b s2u s1c s2c s2s
step s2b: BEGIN;
step s2i: INSERT INTO tpart VALUES (1, 'text01');
step s2c: COMMIT;
step s1bs: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s1merg: ALTER TABLE tpart MERGE PARTITIONS (tpart_00_10, tpart_10_20) INTO tpart_00_20;
step s2b: BEGIN;
step s2u: UPDATE tpart SET t = 'text01modif' where i = 1; <waiting ...>
step s1c: COMMIT;
step s2u: <... completed>
step s2c: COMMIT;
step s2s: SELECT tableoid::regclass, * FROM tpart ORDER BY tableoid::regclass::text COLLATE "C", i;
tableoid     | i|t          
-------------+--+-----------
tpart_00_20  | 1|text01modif
tpart_00_20  | 5|text05     
tpart_00_20  |15|text15     
tpart_20_30  |25|text25     
tpart_default|35|text35     
(5 rows)


starting permutation: s2brr s2i s2c s1b s1merg s2b s2u s1c s2c s2s
step s2brr: BEGIN ISOLATION LEVEL REPEATABLE READ;
step s2i: INSERT INTO tpart VALUES (1, 'text01');
step s2c: COMMIT;
step s1b: BEGIN;
step s1merg: ALTER TABLE tpart MERGE PARTITIONS (tpart_00_10, tpart_10_20) INTO tpart_00_20;
step s2b: BEGIN;
step s2u: UPDATE tpart SET t = 'text01modif' where i = 1; <waiting ...>
step s1c: COMMIT;
step s2u: <... completed>
step s2c: COMMIT;
step s2s: SELECT tableoid::regclass, * FROM tpart ORDER BY tableoid::regclass::text COLLATE "C", i;
tableoid     | i|t          
-------------+--+-----------
tpart_00_20  | 1|text01modif
tpart_00_20  | 5|text05     
tpart_00_20  |15|text15     
tpart_20_30  |25|text25     
tpart_default|35|text35     
(5 rows)


starting permutation: s2brr s2i s2c s1brr s1merg s2b s2u s1c s2c s2s
step s2brr: BEGIN ISOLATION LEVEL REPEATABLE READ;
step s2i: INSERT INTO tpart VALUES (1, 'text01');
step s2c: COMMIT;
step s1brr: BEGIN ISOLATION LEVEL REPEATABLE READ;
step s1merg: ALTER TABLE tpart MERGE PARTITIONS (tpart_00_10, tpart_10_20) INTO tpart_00_20;
step s2b: BEGIN;
step s2u: UPDATE tpart SET t = 'text01modif' where i = 1; <waiting ...>
step s1c: COMMIT;
step s2u: <... completed>
step s2c: COMMIT;
step s2s: SELECT tableoid::regclass, * FROM tpart ORDER BY tableoid::regclass::text COLLATE "C", i;
tableoid     | i|t          
-------------+--+-----------
tpart_00_20  | 1|text01modif
tpart_00_20  | 5|text05     
tpart_00_20  |15|text15     
tpart_20_30  |25|text25     
tpart_default|35|text35     
(5 rows)


starting permutation: s2brr s2i s2c s1bs s1merg s2b s2u s1c s2c s2s
step s2brr: BEGIN ISOLATION LEVEL REPEATABLE READ;
step s2i: INSERT INTO tpart VALUES (1, 'text01');
step s2c: COMMIT;
step s1bs: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s1merg: ALTER TABLE tpart MERGE PARTITIONS (tpart_00_10, tpart_10_20) INTO tpart_00_20;
step s2b: BEGIN;
step s2u: UPDATE tpart SET t = 'text01modif' where i = 1; <waiting ...>
step s1c: COMMIT;
step s2u: <... completed>
step s2c: COMMIT;
step s2s: SELECT tableoid::regclass, * FROM tpart ORDER BY tableoid::regclass::text COLLATE "C", i;
tableoid     | i|t          
-------------+--+-----------
tpart_00_20  | 1|text01modif
tpart_00_20  | 5|text05     
tpart_00_20  |15|text15     
tpart_20_30  |25|text25     
tpart_default|35|text35     
(5 rows)


starting permutation: s2bs s2i s2c s1b s1merg s2b s2u s1c s2c s2s
step s2bs: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s2i: INSERT INTO tpart VALUES (1, 'text01');
step s2c: COMMIT;
step s1b: BEGIN;
step s1merg: ALTER TABLE tpart MERGE PARTITIONS (tpart_00_10, tpart_10_20) INTO tpart_00_20;
step s2b: BEGIN;
step s2u: UPDATE tpart SET t = 'text01modif' where i = 1; <waiting ...>
step s1c: COMMIT;
step s2u: <... completed>
step s2c: COMMIT;
step s2s: SELECT tableoid::regclass, * FROM tpart ORDER BY tableoid::regclass::text COLLATE "C", i;
tableoid     | i|t          
-------------+--+-----------
tpart_00_20  | 1|text01modif
tpart_00_20  | 5|text05     
tpart_00_20  |15|text15     
tpart_20_30  |25|text25     
tpart_default|35|text35     
(5 rows)


starting permutation: s2bs s2i s2c s1brr s1merg s2b s2u s1c s2c s2s
step s2bs: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s2i: INSERT INTO tpart VALUES (1, 'text01');
step s2c: COMMIT;
step s1brr: BEGIN ISOLATION LEVEL REPEATABLE READ;
step s1merg: ALTER TABLE tpart MERGE PARTITIONS (tpart_00_10, tpart_10_20) INTO tpart_00_20;
step s2b: BEGIN;
step s2u: UPDATE tpart SET t = 'text01modif' where i = 1; <waiting ...>
step s1c: COMMIT;
step s2u: <... completed>
step s2c: COMMIT;
step s2s: SELECT tableoid::regclass, * FROM tpart ORDER BY tableoid::regclass::text COLLATE "C", i;
tableoid     | i|t          
-------------+--+-----------
tpart_00_20  | 1|text01modif
tpart_00_20  | 5|text05     
tpart_00_20  |15|text15     
tpart_20_30  |25|text25     
tpart_default|35|text35     
(5 rows)


starting permutation: s2bs s2i s2c s1bs s1merg s2b s2u s1c s2c s2s
step s2bs: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s2i: INSERT INTO tpart VALUES (1, 'text01');
step s2c: COMMIT;
step s1bs: BEGIN ISOLATION LEVEL SERIALIZABLE;
step s1merg: ALTER TABLE tpart MERGE PARTITIONS (tpart_00_10, tpart_10_20) INTO tpart_00_20;
step s2b: BEGIN;
step s2u: UPDATE tpart SET t = 'text01modif' where i = 1; <waiting ...>
step s1c: COMMIT;
step s2u: <... completed>
step s2c: COMMIT;
step s2s: SELECT tableoid::regclass, * FROM tpart ORDER BY tableoid::regclass::text COLLATE "C", i;
tableoid     | i|t          
-------------+--+-----------
tpart_00_20  | 1|text01modif
tpart_00_20  | 5|text05     
tpart_00_20  |15|text15     
tpart_20_30  |25|text25     
tpart_default|35|text35     
(5 rows)


starting permutation: s2b s2i s2c s1b s1merg s2b s2u2 s1c s2c s2s
step s2b: BEGIN;
step s2i: INSERT INTO tpart VALUES (1, 'text01');
step s2c: COMMIT;
step s1b: BEGIN;
step s1merg: ALTER TABLE tpart MERGE PARTITIONS (tpart_00_10, tpart_10_20) INTO tpart_00_20;
step s2b: BEGIN;
step s2u2: UPDATE tpart SET i = 21 where i = 1; <waiting ...>
step s1c: COMMIT;
step s2u2: <... completed>
step s2c: COMMIT;
step s2s: SELECT tableoid::regclass, * FROM tpart ORDER BY tableoid::regclass::text COLLATE "C", i;
tableoid     | i|t     
-------------+--+------
tpart_00_20  | 5|text05
tpart_00_20  |15|text15
tpart_20_30  |21|text01
tpart_20_30  |25|text25
tpart_default|35|text35
(5 rows)


starting permutation: s2b s2i s2c s1b s1merg s2b s2u3 s1c s2c s2s
step s2b: BEGIN;
step s2i: INSERT INTO tpart VALUES (1, 'text01');
step s2c: COMMIT;
step s1b: BEGIN;
step s1merg: ALTER TABLE tpart MERGE PARTITIONS (tpart_00_10, tpart_10_20) INTO tpart_00_20;
step s2b: BEGIN;
step s2u3: UPDATE tpart SET i = 11 where i = 1; <waiting ...>
step s1c: COMMIT;
step s2u3: <... completed>
step s2c: COMMIT;
step s2s: SELECT tableoid::regclass, * FROM tpart ORDER BY tableoid::regclass::text COLLATE "C", i;
tableoid     | i|t     
-------------+--+------
tpart_00_20  | 5|text05
tpart_00_20  |11|text01
tpart_00_20  |15|text15
tpart_20_30  |25|text25
tpart_default|35|text35
(5 rows)