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:xxxxx" 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


