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