Parsed test spec with 2 sessions

starting permutation: s1-begin s1-update-node-1 s2-update-node-2 s1-commit s1-show-nodes
nodeid         nodename       nodeport       

22             localhost      57637          
23             localhost      57638          
step s1-begin: 
	BEGIN;

step s1-update-node-1: 
    SELECT 1 FROM master_update_node(
        (select nodeid from pg_dist_node where nodeport = 57637),
        'localhost',
        58637);

?column?       

1              
step s2-update-node-2: 
    SELECT 1 FROM master_update_node(
        (select nodeid from pg_dist_node where nodeport = 57638),
        'localhost',
        58638);

?column?       

1              
step s1-commit: 
	COMMIT;

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

nodeid         nodename       nodeport       isactive       

22             localhost      58637          t              
23             localhost      58638          t              
nodeid         nodename       nodeport       


starting permutation: s1-begin s1-update-node-1 s2-begin s2-update-node-1 s1-commit s2-abort s1-show-nodes
nodeid         nodename       nodeport       

24             localhost      57637          
25             localhost      57638          
step s1-begin: 
	BEGIN;

step s1-update-node-1: 
    SELECT 1 FROM master_update_node(
        (select nodeid from pg_dist_node where nodeport = 57637),
        'localhost',
        58637);

?column?       

1              
step s2-begin: 
	BEGIN;

step s2-update-node-1: 
    SELECT 1 FROM master_update_node(
        (select nodeid from pg_dist_node where nodeport = 57637),
        'localhost',
        58637);
 <waiting ...>
step s1-commit: 
	COMMIT;

step s2-update-node-1: <... completed>
error in steps s1-commit s2-update-node-1: ERROR:  tuple concurrently updated
step s2-abort: 
	ABORT;

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

nodeid         nodename       nodeport       isactive       

25             localhost      57638          t              
24             localhost      58637          t              
nodeid         nodename       nodeport