Parsed test spec with 5 sessions

starting permutation: su_setup rx_begin rx_read1 rot_rotate wx_begin wx_write wx_commit rx_read2 rx_commit
step su_setup: 
    CREATE TABLE tde_iso_test (
        id serial PRIMARY KEY,
        data text
    ) USING encrypted_heap;

    INSERT INTO tde_iso_test (data)
    SELECT 'initial_value_' || g FROM generate_series(1, 100) g;

step rx_begin: BEGIN ISOLATION LEVEL REPEATABLE READ;
step rx_read1: SELECT data FROM tde_iso_test WHERE id = 1;
data           
---------------
initial_value_1
(1 row)

step rot_rotate: SELECT pg_vault_tde_rotate_online('tde_iso_test');
pg_vault_tde_rotate_online
--------------------------
                          
(1 row)

step wx_begin: BEGIN; --Read committed
step wx_write: INSERT INTO tde_iso_test (data) VALUES ('Isolation_test');
step wx_commit: COMMIT;
step rx_read2: SELECT id FROM tde_iso_test WHERE data = 'Isolation_test';
id
--
(0 rows)

step rx_commit: COMMIT;

starting permutation: su_setup wx_begin wx_write rot_rotate wx_commit rx_read2
step su_setup: 
    CREATE TABLE tde_iso_test (
        id serial PRIMARY KEY,
        data text
    ) USING encrypted_heap;

    INSERT INTO tde_iso_test (data)
    SELECT 'initial_value_' || g FROM generate_series(1, 100) g;

step wx_begin: BEGIN; --Read committed
step wx_write: INSERT INTO tde_iso_test (data) VALUES ('Isolation_test');
step rot_rotate: SELECT pg_vault_tde_rotate_online('tde_iso_test');
pg_vault_tde_rotate_online
--------------------------
                          
(1 row)

step wx_commit: COMMIT;
step rx_read2: SELECT id FROM tde_iso_test WHERE data = 'Isolation_test';
 id
---
101
(1 row)


starting permutation: su_setup wx_begin wx_write rot_rotate rx_begin rx_read2 wx_commit rx_read2 rx_commit
step su_setup: 
    CREATE TABLE tde_iso_test (
        id serial PRIMARY KEY,
        data text
    ) USING encrypted_heap;

    INSERT INTO tde_iso_test (data)
    SELECT 'initial_value_' || g FROM generate_series(1, 100) g;

step wx_begin: BEGIN; --Read committed
step wx_write: INSERT INTO tde_iso_test (data) VALUES ('Isolation_test');
step rot_rotate: SELECT pg_vault_tde_rotate_online('tde_iso_test');
pg_vault_tde_rotate_online
--------------------------
                          
(1 row)

step rx_begin: BEGIN ISOLATION LEVEL REPEATABLE READ;
step rx_read2: SELECT id FROM tde_iso_test WHERE data = 'Isolation_test';
id
--
(0 rows)

step wx_commit: COMMIT;
step rx_read2: SELECT id FROM tde_iso_test WHERE data = 'Isolation_test';
id
--
(0 rows)

step rx_commit: COMMIT;

starting permutation: su_setup wx_begin wx_update rot_rotate wx_abort
step su_setup: 
    CREATE TABLE tde_iso_test (
        id serial PRIMARY KEY,
        data text
    ) USING encrypted_heap;

    INSERT INTO tde_iso_test (data)
    SELECT 'initial_value_' || g FROM generate_series(1, 100) g;

step wx_begin: BEGIN; --Read committed
step wx_update: UPDATE tde_iso_test SET data = 'Updated' WHERE id = 50;
step rot_rotate: SELECT pg_vault_tde_rotate_online('tde_iso_test');
pg_vault_tde_rotate_online
--------------------------
                          
(1 row)

step wx_abort: ROLLBACK;

starting permutation: su_setup vacuum rot_rotate
step su_setup: 
    CREATE TABLE tde_iso_test (
        id serial PRIMARY KEY,
        data text
    ) USING encrypted_heap;

    INSERT INTO tde_iso_test (data)
    SELECT 'initial_value_' || g FROM generate_series(1, 100) g;

step vacuum: VACUUM tde_iso_test;
step rot_rotate: SELECT pg_vault_tde_rotate_online('tde_iso_test');
pg_vault_tde_rotate_online
--------------------------
                          
(1 row)


starting permutation: su_setup rot_rotate vacuum
step su_setup: 
    CREATE TABLE tde_iso_test (
        id serial PRIMARY KEY,
        data text
    ) USING encrypted_heap;

    INSERT INTO tde_iso_test (data)
    SELECT 'initial_value_' || g FROM generate_series(1, 100) g;

step rot_rotate: SELECT pg_vault_tde_rotate_online('tde_iso_test');
pg_vault_tde_rotate_online
--------------------------
                          
(1 row)

step vacuum: VACUUM tde_iso_test;