Parsed test spec with 2 sessions

starting permutation: s1-begin s2-begin s1-repartitioned-insert-select s2-delete-from-source s1-end s2-end s1-select-target
step s1-begin: BEGIN;
step s2-begin: BEGIN;
step s1-repartitioned-insert-select: INSERT INTO target_table SELECT * FROM source_table;
step s2-delete-from-source: DELETE FROM source_table;
step s1-end: END;
step s2-end: END;
step s1-select-target: SELECT * FROM target_table ORDER BY a;
 a|  b
---------------------------------------------------------------------
 1|  1
 2|  4
 3|  9
 4| 16
 5| 25
 6| 36
 7| 49
 8| 64
 9| 81
10|100
(10 rows)


starting permutation: s1-begin s2-begin s1-repartitioned-insert-select s2-update-source s1-end s2-end s1-select-target
step s1-begin: BEGIN;
step s2-begin: BEGIN;
step s1-repartitioned-insert-select: INSERT INTO target_table SELECT * FROM source_table;
step s2-update-source: UPDATE source_table SET b = 50 - b;
step s1-end: END;
step s2-end: END;
step s1-select-target: SELECT * FROM target_table ORDER BY a;
 a|  b
---------------------------------------------------------------------
 1|  1
 2|  4
 3|  9
 4| 16
 5| 25
 6| 36
 7| 49
 8| 64
 9| 81
10|100
(10 rows)


starting permutation: s1-begin s2-begin s1-repartitioned-insert-select s2-insert-into-source s1-end s2-end s1-select-target
step s1-begin: BEGIN;
step s2-begin: BEGIN;
step s1-repartitioned-insert-select: INSERT INTO target_table SELECT * FROM source_table;
step s2-insert-into-source: INSERT INTO source_table VALUES (0, 0);
step s1-end: END;
step s2-end: END;
step s1-select-target: SELECT * FROM target_table ORDER BY a;
 a|  b
---------------------------------------------------------------------
 1|  1
 2|  4
 3|  9
 4| 16
 5| 25
 6| 36
 7| 49
 8| 64
 9| 81
10|100
(10 rows)


starting permutation: s1-begin s2-begin s2-delete-from-source s1-repartitioned-insert-select s1-end s2-end s1-select-target
step s1-begin: BEGIN;
step s2-begin: BEGIN;
step s2-delete-from-source: DELETE FROM source_table;
step s1-repartitioned-insert-select: INSERT INTO target_table SELECT * FROM source_table;
step s1-end: END;
step s2-end: END;
step s1-select-target: SELECT * FROM target_table ORDER BY a;
 a|  b
---------------------------------------------------------------------
 1|  1
 2|  4
 3|  9
 4| 16
 5| 25
 6| 36
 7| 49
 8| 64
 9| 81
10|100
(10 rows)


starting permutation: s1-begin s2-begin s2-update-source s1-repartitioned-insert-select s1-end s2-end s1-select-target
step s1-begin: BEGIN;
step s2-begin: BEGIN;
step s2-update-source: UPDATE source_table SET b = 50 - b;
step s1-repartitioned-insert-select: INSERT INTO target_table SELECT * FROM source_table;
step s1-end: END;
step s2-end: END;
step s1-select-target: SELECT * FROM target_table ORDER BY a;
 a|  b
---------------------------------------------------------------------
 1|  1
 2|  4
 3|  9
 4| 16
 5| 25
 6| 36
 7| 49
 8| 64
 9| 81
10|100
(10 rows)


starting permutation: s1-begin s2-begin s2-insert-into-source s1-repartitioned-insert-select s1-end s2-end s1-select-target
step s1-begin: BEGIN;
step s2-begin: BEGIN;
step s2-insert-into-source: INSERT INTO source_table VALUES (0, 0);
step s1-repartitioned-insert-select: INSERT INTO target_table SELECT * FROM source_table;
step s1-end: END;
step s2-end: END;
step s1-select-target: SELECT * FROM target_table ORDER BY a;
 a|  b
---------------------------------------------------------------------
 1|  1
 2|  4
 3|  9
 4| 16
 5| 25
 6| 36
 7| 49
 8| 64
 9| 81
10|100
(10 rows)


starting permutation: s1-begin s2-begin s1-repartitioned-insert-select s2-delete-from-target s1-end s2-end s1-select-target
step s1-begin: BEGIN;
step s2-begin: BEGIN;
step s1-repartitioned-insert-select: INSERT INTO target_table SELECT * FROM source_table;
step s2-delete-from-target: DELETE FROM target_table; <waiting ...>
step s1-end: END;
step s2-delete-from-target: <... completed>
step s2-end: END;
step s1-select-target: SELECT * FROM target_table ORDER BY a;
a|b
---------------------------------------------------------------------
(0 rows)


starting permutation: s1-begin s2-begin s1-repartitioned-insert-select s2-update-target s1-end s2-end s1-select-target
step s1-begin: BEGIN;
step s2-begin: BEGIN;
step s1-repartitioned-insert-select: INSERT INTO target_table SELECT * FROM source_table;
step s2-update-target: UPDATE target_table SET b = 50 - b; <waiting ...>
step s1-end: END;
step s2-update-target: <... completed>
step s2-end: END;
step s1-select-target: SELECT * FROM target_table ORDER BY a;
 a|  b
---------------------------------------------------------------------
 1| 49
 2| 46
 3| 41
 4| 34
 5| 25
 6| 14
 7|  1
 8|-14
 9|-31
10|-50
(10 rows)


starting permutation: s1-begin s2-begin s1-repartitioned-insert-select s2-insert-into-target s1-end s2-end s1-select-target
step s1-begin: BEGIN;
step s2-begin: BEGIN;
step s1-repartitioned-insert-select: INSERT INTO target_table SELECT * FROM source_table;
step s2-insert-into-target: INSERT INTO target_table VALUES (0, 0);
step s1-end: END;
step s2-end: END;
step s1-select-target: SELECT * FROM target_table ORDER BY a;
 a|  b
---------------------------------------------------------------------
 0|  0
 1|  1
 2|  4
 3|  9
 4| 16
 5| 25
 6| 36
 7| 49
 8| 64
 9| 81
10|100
(11 rows)


starting permutation: s1-begin s2-begin s2-delete-from-target s1-repartitioned-insert-select s2-end s1-end s1-select-target
step s1-begin: BEGIN;
step s2-begin: BEGIN;
step s2-delete-from-target: DELETE FROM target_table;
step s1-repartitioned-insert-select: INSERT INTO target_table SELECT * FROM source_table; <waiting ...>
step s2-end: END;
step s1-repartitioned-insert-select: <... completed>
step s1-end: END;
step s1-select-target: SELECT * FROM target_table ORDER BY a;
 a|  b
---------------------------------------------------------------------
 1|  1
 2|  4
 3|  9
 4| 16
 5| 25
 6| 36
 7| 49
 8| 64
 9| 81
10|100
(10 rows)


starting permutation: s1-begin s2-begin s2-update-target s1-repartitioned-insert-select s2-end s1-end s1-select-target
step s1-begin: BEGIN;
step s2-begin: BEGIN;
step s2-update-target: UPDATE target_table SET b = 50 - b;
step s1-repartitioned-insert-select: INSERT INTO target_table SELECT * FROM source_table; <waiting ...>
step s2-end: END;
step s1-repartitioned-insert-select: <... completed>
step s1-end: END;
step s1-select-target: SELECT * FROM target_table ORDER BY a;
 a|  b
---------------------------------------------------------------------
 1|  1
 2|  4
 3|  9
 4| 16
 5| 25
 6| 36
 7| 49
 8| 64
 9| 81
10|100
(10 rows)


starting permutation: s1-begin s2-begin s2-insert-into-target s1-repartitioned-insert-select s2-end s1-end s1-select-target
step s1-begin: BEGIN;
step s2-begin: BEGIN;
step s2-insert-into-target: INSERT INTO target_table VALUES (0, 0);
step s1-repartitioned-insert-select: INSERT INTO target_table SELECT * FROM source_table;
step s2-end: END;
step s1-end: END;
step s1-select-target: SELECT * FROM target_table ORDER BY a;
 a|  b
---------------------------------------------------------------------
 0|  0
 1|  1
 2|  4
 3|  9
 4| 16
 5| 25
 6| 36
 7| 49
 8| 64
 9| 81
10|100
(11 rows)

