Parsed test spec with 2 sessions

starting permutation: s1-begin s1-add-node-1 s2-remove-node-1 s1-commit s1-show-nodes
step s1-begin:
	BEGIN;

step s1-add-node-1:
	SELECT 1 FROM master_add_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s2-remove-node-1:
	SELECT * FROM master_remove_node('localhost', 57637);
 <waiting ...>
step s1-commit: 
	COMMIT;

step s2-remove-node-1: <... completed>
master_remove_node
---------------------------------------------------------------------

(1 row)

step s1-show-nodes:
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename|nodeport|isactive
---------------------------------------------------------------------
(0 rows)

master_remove_node
---------------------------------------------------------------------
(0 rows)


starting permutation: s1-begin s1-add-node-1 s2-add-node-2 s1-commit s1-show-nodes
step s1-begin:
	BEGIN;

step s1-add-node-1:
	SELECT 1 FROM master_add_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s2-add-node-2:
	SELECT 1 FROM master_add_node('localhost', 57638);
 <waiting ...>
step s1-commit: 
	COMMIT;

step s2-add-node-2: <... completed>
?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-show-nodes:
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename |nodeport|isactive
---------------------------------------------------------------------
localhost|   57637|t
localhost|   57638|t
(2 rows)

master_remove_node
---------------------------------------------------------------------


(2 rows)


starting permutation: s1-begin s1-add-node-1 s2-add-node-1 s1-commit s1-show-nodes
step s1-begin:
	BEGIN;

step s1-add-node-1:
	SELECT 1 FROM master_add_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s2-add-node-1:
	SELECT 1 FROM master_add_node('localhost', 57637);
 <waiting ...>
step s1-commit: 
	COMMIT;

step s2-add-node-1: <... completed>
?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-show-nodes:
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename |nodeport|isactive
---------------------------------------------------------------------
localhost|   57637|t
(1 row)

master_remove_node
---------------------------------------------------------------------

(1 row)


starting permutation: s1-begin s1-add-node-1 s2-add-node-2 s1-abort s1-show-nodes
step s1-begin:
	BEGIN;

step s1-add-node-1:
	SELECT 1 FROM master_add_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s2-add-node-2:
	SELECT 1 FROM master_add_node('localhost', 57638);
 <waiting ...>
step s1-abort: 
	ABORT;

step s2-add-node-2: <... completed>
?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-show-nodes:
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename |nodeport|isactive
---------------------------------------------------------------------
localhost|   57638|t
(1 row)

master_remove_node
---------------------------------------------------------------------

(1 row)


starting permutation: s1-begin s1-add-node-1 s2-add-node-1 s1-abort s1-show-nodes
step s1-begin:
	BEGIN;

step s1-add-node-1:
	SELECT 1 FROM master_add_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s2-add-node-1:
	SELECT 1 FROM master_add_node('localhost', 57637);
 <waiting ...>
step s1-abort: 
	ABORT;

step s2-add-node-1: <... completed>
?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-show-nodes:
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename |nodeport|isactive
---------------------------------------------------------------------
localhost|   57637|t
(1 row)

master_remove_node
---------------------------------------------------------------------

(1 row)


starting permutation: s1-add-node-1 s1-add-node-2 s1-begin s1-remove-node-1 s2-remove-node-2 s1-commit s1-show-nodes
step s1-add-node-1:
	SELECT 1 FROM master_add_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-add-node-2:
	SELECT 1 FROM master_add_node('localhost', 57638);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-begin:
	BEGIN;

step s1-remove-node-1:
	SELECT * FROM master_remove_node('localhost', 57637);

master_remove_node
---------------------------------------------------------------------

(1 row)

step s2-remove-node-2:
	SELECT * FROM master_remove_node('localhost', 57638);
 <waiting ...>
step s1-commit: 
	COMMIT;

step s2-remove-node-2: <... completed>
master_remove_node
---------------------------------------------------------------------

(1 row)

step s1-show-nodes:
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename|nodeport|isactive
---------------------------------------------------------------------
(0 rows)

master_remove_node
---------------------------------------------------------------------
(0 rows)


starting permutation: s1-add-node-1 s1-begin s1-remove-node-1 s2-remove-node-1 s1-commit s1-show-nodes
step s1-add-node-1:
	SELECT 1 FROM master_add_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-begin:
	BEGIN;

step s1-remove-node-1:
	SELECT * FROM master_remove_node('localhost', 57637);

master_remove_node
---------------------------------------------------------------------

(1 row)

step s2-remove-node-1:
	SELECT * FROM master_remove_node('localhost', 57637);
 <waiting ...>
step s1-commit: 
	COMMIT;

step s2-remove-node-1: <... completed>
ERROR:  node at "localhost:xxxxx" does not exist
step s1-show-nodes:
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename|nodeport|isactive
---------------------------------------------------------------------
(0 rows)

master_remove_node
---------------------------------------------------------------------
(0 rows)


starting permutation: s1-add-node-1 s1-begin s1-activate-node-1 s2-activate-node-1 s1-commit s1-show-nodes
step s1-add-node-1:
	SELECT 1 FROM master_add_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-begin:
	BEGIN;

step s1-activate-node-1:
	SELECT 1 FROM master_activate_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s2-activate-node-1:
	SELECT 1 FROM master_activate_node('localhost', 57637);
 <waiting ...>
step s1-commit: 
	COMMIT;

step s2-activate-node-1: <... completed>
?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-show-nodes:
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename |nodeport|isactive
---------------------------------------------------------------------
localhost|   57637|t
(1 row)

master_remove_node
---------------------------------------------------------------------

(1 row)


starting permutation: s1-add-node-1 s1-begin s1-disable-node-1 s2-disable-node-1 s1-commit s1-show-nodes
step s1-add-node-1:
	SELECT 1 FROM master_add_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-begin:
	BEGIN;

step s1-disable-node-1:
	SELECT 1 FROM master_disable_node('localhost', 57637);
	SELECT public.wait_until_metadata_sync();

?column?
---------------------------------------------------------------------
       1
(1 row)

wait_until_metadata_sync
---------------------------------------------------------------------

(1 row)

step s2-disable-node-1:
	SELECT 1 FROM master_disable_node('localhost', 57637);
	SELECT public.wait_until_metadata_sync();
 <waiting ...>
step s1-commit: 
	COMMIT;

step s2-disable-node-1: <... completed>
?column?
---------------------------------------------------------------------
       1
(1 row)

wait_until_metadata_sync
---------------------------------------------------------------------

(1 row)

step s1-show-nodes:
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename |nodeport|isactive
---------------------------------------------------------------------
localhost|   57637|f
(1 row)

master_remove_node
---------------------------------------------------------------------

(1 row)


starting permutation: s1-add-inactive-1 s1-begin s1-activate-node-1 s2-activate-node-1 s1-commit s1-show-nodes
step s1-add-inactive-1:
	SELECT 1 FROM master_add_inactive_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-begin:
	BEGIN;

step s1-activate-node-1:
	SELECT 1 FROM master_activate_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s2-activate-node-1:
	SELECT 1 FROM master_activate_node('localhost', 57637);
 <waiting ...>
step s1-commit: 
	COMMIT;

step s2-activate-node-1: <... completed>
?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-show-nodes:
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename |nodeport|isactive
---------------------------------------------------------------------
localhost|   57637|t
(1 row)

master_remove_node
---------------------------------------------------------------------

(1 row)


starting permutation: s1-add-inactive-1 s1-begin s1-disable-node-1 s2-disable-node-1 s1-commit s1-show-nodes
step s1-add-inactive-1:
	SELECT 1 FROM master_add_inactive_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-begin:
	BEGIN;

step s1-disable-node-1:
	SELECT 1 FROM master_disable_node('localhost', 57637);
	SELECT public.wait_until_metadata_sync();

?column?
---------------------------------------------------------------------
       1
(1 row)

wait_until_metadata_sync
---------------------------------------------------------------------

(1 row)

step s2-disable-node-1:
	SELECT 1 FROM master_disable_node('localhost', 57637);
	SELECT public.wait_until_metadata_sync();
 <waiting ...>
step s1-commit: 
	COMMIT;

step s2-disable-node-1: <... completed>
?column?
---------------------------------------------------------------------
       1
(1 row)

wait_until_metadata_sync
---------------------------------------------------------------------

(1 row)

step s1-show-nodes:
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename |nodeport|isactive
---------------------------------------------------------------------
localhost|   57637|f
(1 row)

master_remove_node
---------------------------------------------------------------------

(1 row)


starting permutation: s1-add-node-1 s1-begin s1-disable-node-1 s2-activate-node-1 s1-commit s1-show-nodes
step s1-add-node-1:
	SELECT 1 FROM master_add_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-begin:
	BEGIN;

step s1-disable-node-1:
	SELECT 1 FROM master_disable_node('localhost', 57637);
	SELECT public.wait_until_metadata_sync();

?column?
---------------------------------------------------------------------
       1
(1 row)

wait_until_metadata_sync
---------------------------------------------------------------------

(1 row)

step s2-activate-node-1:
	SELECT 1 FROM master_activate_node('localhost', 57637);
 <waiting ...>
step s1-commit: 
	COMMIT;

step s2-activate-node-1: <... completed>
?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-show-nodes:
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename |nodeport|isactive
---------------------------------------------------------------------
localhost|   57637|t
(1 row)

master_remove_node
---------------------------------------------------------------------

(1 row)


starting permutation: s1-add-node-1 s1-begin s1-activate-node-1 s2-disable-node-1 s1-commit s1-show-nodes
step s1-add-node-1:
	SELECT 1 FROM master_add_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-begin:
	BEGIN;

step s1-activate-node-1:
	SELECT 1 FROM master_activate_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s2-disable-node-1:
	SELECT 1 FROM master_disable_node('localhost', 57637);
	SELECT public.wait_until_metadata_sync();
 <waiting ...>
step s1-commit: 
	COMMIT;

step s2-disable-node-1: <... completed>
?column?
---------------------------------------------------------------------
       1
(1 row)

wait_until_metadata_sync
---------------------------------------------------------------------

(1 row)

step s1-show-nodes:
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename |nodeport|isactive
---------------------------------------------------------------------
localhost|   57637|f
(1 row)

master_remove_node
---------------------------------------------------------------------

(1 row)


starting permutation: s1-add-inactive-1 s1-begin s1-disable-node-1 s2-activate-node-1 s1-commit s1-show-nodes
step s1-add-inactive-1:
	SELECT 1 FROM master_add_inactive_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-begin:
	BEGIN;

step s1-disable-node-1:
	SELECT 1 FROM master_disable_node('localhost', 57637);
	SELECT public.wait_until_metadata_sync();

?column?
---------------------------------------------------------------------
       1
(1 row)

wait_until_metadata_sync
---------------------------------------------------------------------

(1 row)

step s2-activate-node-1:
	SELECT 1 FROM master_activate_node('localhost', 57637);
 <waiting ...>
step s1-commit: 
	COMMIT;

step s2-activate-node-1: <... completed>
?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-show-nodes:
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename |nodeport|isactive
---------------------------------------------------------------------
localhost|   57637|t
(1 row)

master_remove_node
---------------------------------------------------------------------

(1 row)


starting permutation: s1-add-inactive-1 s1-begin s1-activate-node-1 s2-disable-node-1 s1-commit s1-show-nodes
step s1-add-inactive-1:
	SELECT 1 FROM master_add_inactive_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-begin:
	BEGIN;

step s1-activate-node-1:
	SELECT 1 FROM master_activate_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s2-disable-node-1:
	SELECT 1 FROM master_disable_node('localhost', 57637);
	SELECT public.wait_until_metadata_sync();
 <waiting ...>
step s1-commit: 
	COMMIT;

step s2-disable-node-1: <... completed>
?column?
---------------------------------------------------------------------
       1
(1 row)

wait_until_metadata_sync
---------------------------------------------------------------------

(1 row)

step s1-show-nodes:
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename |nodeport|isactive
---------------------------------------------------------------------
localhost|   57637|f
(1 row)

master_remove_node
---------------------------------------------------------------------

(1 row)


starting permutation: s1-add-node-1 s1-begin s1-disable-node-1 s2-disable-node-1 s1-abort s1-show-nodes
step s1-add-node-1:
	SELECT 1 FROM master_add_node('localhost', 57637);

?column?
---------------------------------------------------------------------
       1
(1 row)

step s1-begin:
	BEGIN;

step s1-disable-node-1:
	SELECT 1 FROM master_disable_node('localhost', 57637);
	SELECT public.wait_until_metadata_sync();

?column?
---------------------------------------------------------------------
       1
(1 row)

wait_until_metadata_sync
---------------------------------------------------------------------

(1 row)

step s2-disable-node-1:
	SELECT 1 FROM master_disable_node('localhost', 57637);
	SELECT public.wait_until_metadata_sync();
 <waiting ...>
step s1-abort: 
	ABORT;

step s2-disable-node-1: <... completed>
?column?
---------------------------------------------------------------------
       1
(1 row)

wait_until_metadata_sync
---------------------------------------------------------------------

(1 row)

step s1-show-nodes:
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename |nodeport|isactive
---------------------------------------------------------------------
localhost|   57637|f
(1 row)

master_remove_node
---------------------------------------------------------------------

(1 row)