Parsed test spec with 2 sessions

starting permutation: s1-begin s2-begin s1-insert s2-insert s1-select s2-select s1-commit s2-commit s1-select
step s1-begin:
    BEGIN;

step s2-begin:
    BEGIN;

step s1-insert:
    INSERT INTO test_insert_concurrency SELECT i, 2 * i FROM generate_series(1, 3) i;

step s2-insert:
    INSERT INTO test_insert_concurrency SELECT i, 2 * i FROM generate_series(4, 6) i;

step s1-select:
    SELECT * FROM test_insert_concurrency ORDER BY a;

a|b
---------------------------------------------------------------------
1|2
2|4
3|6
(3 rows)

step s2-select:
    SELECT * FROM test_insert_concurrency ORDER BY a;

a| b
---------------------------------------------------------------------
4| 8
5|10
6|12
(3 rows)

step s1-commit:
    COMMIT;

step s2-commit:
    COMMIT;

step s1-select:
    SELECT * FROM test_insert_concurrency ORDER BY a;

a| b
---------------------------------------------------------------------
1| 2
2| 4
3| 6
4| 8
5|10
6|12
(6 rows)


starting permutation: s1-begin s2-begin s1-copy s2-insert s1-select s2-select s1-commit s2-commit s1-select
step s1-begin:
    BEGIN;

step s2-begin:
    BEGIN;

step s1-copy:
    COPY test_insert_concurrency(a) FROM PROGRAM 'seq 11 13';

step s2-insert:
    INSERT INTO test_insert_concurrency SELECT i, 2 * i FROM generate_series(4, 6) i;

step s1-select:
    SELECT * FROM test_insert_concurrency ORDER BY a;

 a|b
---------------------------------------------------------------------
11|
12|
13|
(3 rows)

step s2-select:
    SELECT * FROM test_insert_concurrency ORDER BY a;

a| b
---------------------------------------------------------------------
4| 8
5|10
6|12
(3 rows)

step s1-commit:
    COMMIT;

step s2-commit:
    COMMIT;

step s1-select:
    SELECT * FROM test_insert_concurrency ORDER BY a;

 a| b
---------------------------------------------------------------------
 4| 8
 5|10
 6|12
11|
12|
13|
(6 rows)


starting permutation: s1-begin s2-begin s2-insert s1-copy s1-select s2-select s1-commit s2-commit s1-select
step s1-begin:
    BEGIN;

step s2-begin:
    BEGIN;

step s2-insert:
    INSERT INTO test_insert_concurrency SELECT i, 2 * i FROM generate_series(4, 6) i;

step s1-copy:
    COPY test_insert_concurrency(a) FROM PROGRAM 'seq 11 13';

step s1-select:
    SELECT * FROM test_insert_concurrency ORDER BY a;

 a|b
---------------------------------------------------------------------
11|
12|
13|
(3 rows)

step s2-select:
    SELECT * FROM test_insert_concurrency ORDER BY a;

a| b
---------------------------------------------------------------------
4| 8
5|10
6|12
(3 rows)

step s1-commit:
    COMMIT;

step s2-commit:
    COMMIT;

step s1-select:
    SELECT * FROM test_insert_concurrency ORDER BY a;

 a| b
---------------------------------------------------------------------
 4| 8
 5|10
 6|12
11|
12|
13|
(6 rows)


starting permutation: s1-truncate s1-begin s1-insert-10000-rows s2-begin s2-insert s2-commit s1-commit
step s1-truncate:
    TRUNCATE test_insert_concurrency;

step s1-begin:
    BEGIN;

step s1-insert-10000-rows:
    INSERT INTO test_insert_concurrency SELECT i, 2 * i FROM generate_series(1, 10000) i;

step s2-begin:
    BEGIN;

step s2-insert:
    INSERT INTO test_insert_concurrency SELECT i, 2 * i FROM generate_series(4, 6) i;

step s2-commit:
    COMMIT;

step s1-commit:
    COMMIT;


starting permutation: s1-begin s2-begin-repeatable s1-insert s2-insert s2-select s1-commit s2-select s2-commit
step s1-begin:
    BEGIN;

step s2-begin-repeatable:
    BEGIN TRANSACTION ISOLATION LEVEL REPEATABLE READ;

step s1-insert:
    INSERT INTO test_insert_concurrency SELECT i, 2 * i FROM generate_series(1, 3) i;

step s2-insert:
    INSERT INTO test_insert_concurrency SELECT i, 2 * i FROM generate_series(4, 6) i;

step s2-select:
    SELECT * FROM test_insert_concurrency ORDER BY a;

a| b
---------------------------------------------------------------------
4| 8
5|10
6|12
(3 rows)

step s1-commit:
    COMMIT;

step s2-select:
    SELECT * FROM test_insert_concurrency ORDER BY a;

a| b
---------------------------------------------------------------------
4| 8
5|10
6|12
(3 rows)

step s2-commit:
    COMMIT;

