Parsed test spec with 2 sessions

starting permutation: s2-invalidate-xxxxx s1-begin s1-insertone s2-repair s1-commit
master_create_worker_shards


step s2-invalidate-xxxxx:
    UPDATE pg_dist_shard_placement SET shardstate = '3' WHERE shardid = (SELECT shardid FROM pg_dist_shard WHERE logicalrelid = 'test_dml_vs_repair'::regclass) AND nodeport = xxxxx;

step s1-begin:
    BEGIN;

step s1-insertone:
    INSERT INTO test_dml_vs_repair VALUES(1, 1);

step s2-repair:
    SELECT master_copy_shard_placement((SELECT shardid FROM pg_dist_shard WHERE logicalrelid = 'test_dml_vs_repair'::regclass), '<host>', xxxxx, '<host>', xxxxx);
 <waiting ...>
step s1-commit:
    COMMIT;

step s2-repair: <... completed>
master_copy_shard_placement



starting permutation: s1-insertone s2-invalidate-xxxxx s1-begin s1-insertall s2-repair s1-commit
master_create_worker_shards


step s1-insertone:
    INSERT INTO test_dml_vs_repair VALUES(1, 1);

step s2-invalidate-xxxxx:
    UPDATE pg_dist_shard_placement SET shardstate = '3' WHERE shardid = (SELECT shardid FROM pg_dist_shard WHERE logicalrelid = 'test_dml_vs_repair'::regclass) AND nodeport = xxxxx;

step s1-begin:
    BEGIN;

step s1-insertall:
    INSERT INTO test_dml_vs_repair SELECT test_id, data+1 FROM test_dml_vs_repair;

step s2-repair:
    SELECT master_copy_shard_placement((SELECT shardid FROM pg_dist_shard WHERE logicalrelid = 'test_dml_vs_repair'::regclass), '<host>', xxxxx, '<host>', xxxxx);
 <waiting ...>
step s1-commit:
    COMMIT;

step s2-repair: <... completed>
master_copy_shard_placement



starting permutation: s2-invalidate-xxxxx s2-begin s2-repair s1-insertone s2-commit s2-invalidate-xxxxx s1-display s2-invalidate-xxxxx s2-revalidate-xxxxx s1-display
master_create_worker_shards


step s2-invalidate-xxxxx:
    UPDATE pg_dist_shard_placement SET shardstate = '3' WHERE shardid = (SELECT shardid FROM pg_dist_shard WHERE logicalrelid = 'test_dml_vs_repair'::regclass) AND nodeport = xxxxx;

step s2-begin:
    BEGIN;

step s2-repair:
    SELECT master_copy_shard_placement((SELECT shardid FROM pg_dist_shard WHERE logicalrelid = 'test_dml_vs_repair'::regclass), '<host>', xxxxx, '<host>', xxxxx);

master_copy_shard_placement


step s1-insertone:
    INSERT INTO test_dml_vs_repair VALUES(1, 1);
 <waiting ...>
step s2-commit:
    COMMIT;

step s1-insertone: <... completed>
step s2-invalidate-xxxxx:
    UPDATE pg_dist_shard_placement SET shardstate = '3' WHERE shardid = (SELECT shardid FROM pg_dist_shard WHERE logicalrelid = 'test_dml_vs_repair'::regclass) AND nodeport = xxxxx;

step s1-display:
    SELECT * FROM test_dml_vs_repair WHERE test_id = 1 ORDER BY test_id;

test_id        data

1              1
step s2-invalidate-xxxxx:
    UPDATE pg_dist_shard_placement SET shardstate = '3' WHERE shardid = (SELECT shardid FROM pg_dist_shard WHERE logicalrelid = 'test_dml_vs_repair'::regclass) AND nodeport = xxxxx;

step s2-revalidate-xxxxx:
    UPDATE pg_dist_shard_placement SET shardstate = '1' WHERE shardid = (SELECT shardid FROM pg_dist_shard WHERE logicalrelid = 'test_dml_vs_repair'::regclass) AND nodeport = xxxxx;

step s1-display:
    SELECT * FROM test_dml_vs_repair WHERE test_id = 1 ORDER BY test_id;

test_id        data

1              1

starting permutation: s2-invalidate-xxxxx s1-prepared-insertone s2-begin s2-repair s1-prepared-insertone s2-commit s2-invalidate-xxxxx s1-display s2-invalidate-xxxxx s2-revalidate-xxxxx s1-display
master_create_worker_shards


step s2-invalidate-xxxxx:
    UPDATE pg_dist_shard_placement SET shardstate = '3' WHERE shardid = (SELECT shardid FROM pg_dist_shard WHERE logicalrelid = 'test_dml_vs_repair'::regclass) AND nodeport = xxxxx;

step s1-prepared-insertone:
    EXECUTE insertone;

step s2-begin:
    BEGIN;

step s2-repair:
    SELECT master_copy_shard_placement((SELECT shardid FROM pg_dist_shard WHERE logicalrelid = 'test_dml_vs_repair'::regclass), '<host>', xxxxx, '<host>', xxxxx);

master_copy_shard_placement


step s1-prepared-insertone:
    EXECUTE insertone;
 <waiting ...>
step s2-commit:
    COMMIT;

step s1-prepared-insertone: <... completed>
step s2-invalidate-xxxxx:
    UPDATE pg_dist_shard_placement SET shardstate = '3' WHERE shardid = (SELECT shardid FROM pg_dist_shard WHERE logicalrelid = 'test_dml_vs_repair'::regclass) AND nodeport = xxxxx;

step s1-display:
    SELECT * FROM test_dml_vs_repair WHERE test_id = 1 ORDER BY test_id;

test_id        data

1              1
1              1
step s2-invalidate-xxxxx:
    UPDATE pg_dist_shard_placement SET shardstate = '3' WHERE shardid = (SELECT shardid FROM pg_dist_shard WHERE logicalrelid = 'test_dml_vs_repair'::regclass) AND nodeport = xxxxx;

step s2-revalidate-xxxxx:
    UPDATE pg_dist_shard_placement SET shardstate = '1' WHERE shardid = (SELECT shardid FROM pg_dist_shard WHERE logicalrelid = 'test_dml_vs_repair'::regclass) AND nodeport = xxxxx;

step s1-display:
    SELECT * FROM test_dml_vs_repair WHERE test_id = 1 ORDER BY test_id;

test_id        data

1              1
1              1

starting permutation: s2-invalidate-xxxxx s1-insertone s1-prepared-insertall s2-begin s2-repair s1-prepared-insertall s2-commit s2-invalidate-xxxxx s1-display s2-invalidate-xxxxx s2-revalidate-xxxxx s1-display
master_create_worker_shards


step s2-invalidate-xxxxx:
    UPDATE pg_dist_shard_placement SET shardstate = '3' WHERE shardid = (SELECT shardid FROM pg_dist_shard WHERE logicalrelid = 'test_dml_vs_repair'::regclass) AND nodeport = xxxxx;

step s1-insertone:
    INSERT INTO test_dml_vs_repair VALUES(1, 1);

step s1-prepared-insertall:
    EXECUTE insertall;

step s2-begin:
    BEGIN;

step s2-repair:
    SELECT master_copy_shard_placement((SELECT shardid FROM pg_dist_shard WHERE logicalrelid = 'test_dml_vs_repair'::regclass), '<host>', xxxxx, '<host>', xxxxx);

master_copy_shard_placement


step s1-prepared-insertall:
    EXECUTE insertall;
 <waiting ...>
step s2-commit:
    COMMIT;

step s1-prepared-insertall: <... completed>
step s2-invalidate-xxxxx:
    UPDATE pg_dist_shard_placement SET shardstate = '3' WHERE shardid = (SELECT shardid FROM pg_dist_shard WHERE logicalrelid = 'test_dml_vs_repair'::regclass) AND nodeport = xxxxx;

step s1-display:
    SELECT * FROM test_dml_vs_repair WHERE test_id = 1 ORDER BY test_id;

test_id        data

1              1
1              2
1              2
1              3
step s2-invalidate-xxxxx:
    UPDATE pg_dist_shard_placement SET shardstate = '3' WHERE shardid = (SELECT shardid FROM pg_dist_shard WHERE logicalrelid = 'test_dml_vs_repair'::regclass) AND nodeport = xxxxx;

step s2-revalidate-xxxxx:
    UPDATE pg_dist_shard_placement SET shardstate = '1' WHERE shardid = (SELECT shardid FROM pg_dist_shard WHERE logicalrelid = 'test_dml_vs_repair'::regclass) AND nodeport = xxxxx;

step s1-display:
    SELECT * FROM test_dml_vs_repair WHERE test_id = 1 ORDER BY test_id;

test_id        data

1              1
1              2
1              2
1              3