1Parsed test spec with 2 sessions 2 3starting permutation: s1alter s1commit s2nv 4step s1alter: ALTER SEQUENCE seq1 MAXVALUE 10; 5step s1commit: COMMIT; 6step s2nv: SELECT nextval('seq1') FROM generate_series(1, 15); 7ERROR: nextval: reached maximum value of sequence "seq1" (10) 8 9starting permutation: s1alter s2nv s1commit 10step s1alter: ALTER SEQUENCE seq1 MAXVALUE 10; 11step s2nv: SELECT nextval('seq1') FROM generate_series(1, 15); <waiting ...> 12step s1commit: COMMIT; 13step s2nv: <... completed> 14ERROR: nextval: reached maximum value of sequence "seq1" (10) 15 16starting permutation: s1restart s2nv s1commit 17step s1restart: ALTER SEQUENCE seq1 RESTART WITH 5; 18step s2nv: SELECT nextval('seq1') FROM generate_series(1, 15); <waiting ...> 19step s1commit: COMMIT; 20step s2nv: <... completed> 21nextval 22------- 23 5 24 6 25 7 26 8 27 9 28 10 29 11 30 12 31 13 32 14 33 15 34 16 35 17 36 18 37 19 38(15 rows) 39 40 41starting permutation: s1restart s2nv s1commit 42step s1restart: ALTER SEQUENCE seq1 RESTART WITH 5; 43step s2nv: SELECT nextval('seq1') FROM generate_series(1, 15); <waiting ...> 44step s1commit: COMMIT; 45step s2nv: <... completed> 46nextval 47------- 48 5 49 6 50 7 51 8 52 9 53 10 54 11 55 12 56 13 57 14 58 15 59 16 60 17 61 18 62 19 63(15 rows) 64 65 66starting permutation: s2begin s2nv s1alter2 s2commit s1commit 67step s2begin: BEGIN; 68step s2nv: SELECT nextval('seq1') FROM generate_series(1, 15); 69nextval 70------- 71 1 72 2 73 3 74 4 75 5 76 6 77 7 78 8 79 9 80 10 81 11 82 12 83 13 84 14 85 15 86(15 rows) 87 88step s1alter2: ALTER SEQUENCE seq1 MAXVALUE 20; <waiting ...> 89step s2commit: COMMIT; 90step s1alter2: <... completed> 91step s1commit: COMMIT; 92