setup
{
  DROP TABLE IF EXISTS vacme;
  CREATE TABLE vacme AS SELECT g.i FROM generate_series(1, 300) g(i);
  ALTER TABLE vacme ADD COLUMN id serial primary key;
  ALTER TABLE vacme SET (AUTOVACUUM_ENABLED = false);
}

teardown
{
/*DROP TABLE vacme;*/
}

session "s1"
step "s1b" {BEGIN; SELECT txid_current(); SELECT 1; }

session "s2"
step "s2b" {BEGIN; SELECT txid_current(); SELECT 1; }
step "s2share" {SELECT * FROM vacme FOR KEY SHARE;}
step "s2c" {COMMIT;}

session "s3"
step "s3b" {BEGIN; SELECT txid_current(); SELECT 1; }
step "s3update" {UPDATE vacme SET i = -1; }
step "s3c" {COMMIT;}

session "s4"
step "s4v" {VACUUM FREEZE vacme;}
step "s4s" {SELECT count(*) FROM vacme; SELECT 1;}

permutation "s1b" "s2b" "s3b" "s2share" "s3update" "s2c" "s3c" "s4v" "s4s"