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

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

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

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

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

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

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


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

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

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

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

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
