Parsed test spec with 2 sessions

starting permutation: s1-begin s1-add-node-1 s2-remove-node-1 s1-commit s1-show-nodes
?column?       

1              
step s1-begin: 
	BEGIN;

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

?column?       

1              
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

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

nodename       nodeport       isactive       

master_remove_node


starting permutation: s1-begin s1-add-node-1 s2-add-node-2 s1-commit s1-show-nodes
?column?       

1              
step s1-begin: 
	BEGIN;

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

?column?       

1              
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              
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              
master_remove_node

               
               

starting permutation: s1-begin s1-add-node-1 s2-add-node-1 s1-commit s1-show-nodes
?column?       

1              
step s1-begin: 
	BEGIN;

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

?column?       

1              
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              
step s1-show-nodes: 
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename       nodeport       isactive       

localhost      57637          t              
master_remove_node

               

starting permutation: s1-begin s1-add-node-1 s2-add-node-2 s1-abort s1-show-nodes
?column?       

1              
step s1-begin: 
	BEGIN;

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

?column?       

1              
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              
step s1-show-nodes: 
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename       nodeport       isactive       

localhost      57638          t              
master_remove_node

               

starting permutation: s1-begin s1-add-node-1 s2-add-node-1 s1-abort s1-show-nodes
?column?       

1              
step s1-begin: 
	BEGIN;

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

?column?       

1              
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              
step s1-show-nodes: 
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename       nodeport       isactive       

localhost      57637          t              
master_remove_node

               

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
?column?       

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

?column?       

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

?column?       

1              
step s1-begin: 
	BEGIN;

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

master_remove_node

               
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

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

nodename       nodeport       isactive       

master_remove_node


starting permutation: s1-add-node-1 s1-begin s1-remove-node-1 s2-remove-node-1 s1-commit s1-show-nodes
?column?       

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

?column?       

1              
step s1-begin: 
	BEGIN;

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

master_remove_node

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

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

nodename       nodeport       isactive       

master_remove_node


starting permutation: s1-add-node-1 s1-begin s1-activate-node-1 s2-activate-node-1 s1-commit s1-show-nodes
?column?       

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

?column?       

1              
step s1-begin: 
	BEGIN;

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

?column?       

1              
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              
step s1-show-nodes: 
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename       nodeport       isactive       

localhost      57637          t              
master_remove_node

               

starting permutation: s1-add-node-1 s1-begin s1-disable-node-1 s2-disable-node-1 s1-commit s1-show-nodes
?column?       

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

?column?       

1              
step s1-begin: 
	BEGIN;

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

?column?       

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

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

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

nodename       nodeport       isactive       

localhost      57637          f              
master_remove_node

               

starting permutation: s1-add-inactive-1 s1-begin s1-activate-node-1 s2-activate-node-1 s1-commit s1-show-nodes
?column?       

1              
step s1-add-inactive-1: 
	SELECT 1 FROM master_add_inactive_node('localhost', 57637);

?column?       

1              
step s1-begin: 
	BEGIN;

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

?column?       

1              
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              
step s1-show-nodes: 
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename       nodeport       isactive       

localhost      57637          t              
master_remove_node

               

starting permutation: s1-add-inactive-1 s1-begin s1-disable-node-1 s2-disable-node-1 s1-commit s1-show-nodes
?column?       

1              
step s1-add-inactive-1: 
	SELECT 1 FROM master_add_inactive_node('localhost', 57637);

?column?       

1              
step s1-begin: 
	BEGIN;

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

?column?       

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

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

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

nodename       nodeport       isactive       

localhost      57637          f              
master_remove_node

               

starting permutation: s1-add-node-1 s1-begin s1-disable-node-1 s2-activate-node-1 s1-commit s1-show-nodes
?column?       

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

?column?       

1              
step s1-begin: 
	BEGIN;

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

?column?       

1              
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              
step s1-show-nodes: 
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename       nodeport       isactive       

localhost      57637          t              
master_remove_node

               

starting permutation: s1-add-node-1 s1-begin s1-activate-node-1 s2-disable-node-1 s1-commit s1-show-nodes
?column?       

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

?column?       

1              
step s1-begin: 
	BEGIN;

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

?column?       

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

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

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

nodename       nodeport       isactive       

localhost      57637          f              
master_remove_node

               

starting permutation: s1-add-inactive-1 s1-begin s1-disable-node-1 s2-activate-node-1 s1-commit s1-show-nodes
?column?       

1              
step s1-add-inactive-1: 
	SELECT 1 FROM master_add_inactive_node('localhost', 57637);

?column?       

1              
step s1-begin: 
	BEGIN;

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

?column?       

1              
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              
step s1-show-nodes: 
	SELECT nodename, nodeport, isactive FROM pg_dist_node ORDER BY nodename, nodeport;

nodename       nodeport       isactive       

localhost      57637          t              
master_remove_node

               

starting permutation: s1-add-inactive-1 s1-begin s1-activate-node-1 s2-disable-node-1 s1-commit s1-show-nodes
?column?       

1              
step s1-add-inactive-1: 
	SELECT 1 FROM master_add_inactive_node('localhost', 57637);

?column?       

1              
step s1-begin: 
	BEGIN;

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

?column?       

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

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

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

nodename       nodeport       isactive       

localhost      57637          f              
master_remove_node

               

starting permutation: s1-add-inactive-1 s1-begin s1-activate-node-1 s2-disable-node-1 s1-abort s1-show-nodes
?column?       

1              
step s1-add-inactive-1: 
	SELECT 1 FROM master_add_inactive_node('localhost', 57637);

?column?       

1              
step s1-begin: 
	BEGIN;

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

?column?       

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

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

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

nodename       nodeport       isactive       

localhost      57637          f              
master_remove_node

               

starting permutation: s1-add-node-1 s1-begin s1-disable-node-1 s2-disable-node-1 s1-abort s1-show-nodes
?column?       

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

?column?       

1              
step s1-begin: 
	BEGIN;

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

?column?       

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

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

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

nodename       nodeport       isactive       

localhost      57637          f              
master_remove_node