1Parsed test spec with 2 sessions
2
3starting permutation: s1i s1u s1c s2i s2u s2c
4step s1i: INSERT INTO child VALUES (1, 1);
5step s1u: UPDATE parent SET aux = 'bar';
6step s1c: COMMIT;
7step s2i: INSERT INTO child VALUES (2, 1);
8step s2u: UPDATE parent SET aux = 'baz';
9step s2c: COMMIT;
10
11starting permutation: s1i s1u s2i s1c s2u s2c
12step s1i: INSERT INTO child VALUES (1, 1);
13step s1u: UPDATE parent SET aux = 'bar';
14step s2i: INSERT INTO child VALUES (2, 1);
15step s1c: COMMIT;
16step s2u: UPDATE parent SET aux = 'baz';
17step s2c: COMMIT;
18
19starting permutation: s1i s1u s2i s2u s1c s2c
20step s1i: INSERT INTO child VALUES (1, 1);
21step s1u: UPDATE parent SET aux = 'bar';
22step s2i: INSERT INTO child VALUES (2, 1);
23step s2u: UPDATE parent SET aux = 'baz'; <waiting ...>
24step s1c: COMMIT;
25step s2u: <... completed>
26step s2c: COMMIT;
27
28starting permutation: s1i s2i s1u s1c s2u s2c
29step s1i: INSERT INTO child VALUES (1, 1);
30step s2i: INSERT INTO child VALUES (2, 1);
31step s1u: UPDATE parent SET aux = 'bar';
32step s1c: COMMIT;
33step s2u: UPDATE parent SET aux = 'baz';
34step s2c: COMMIT;
35
36starting permutation: s1i s2i s1u s2u s1c s2c
37step s1i: INSERT INTO child VALUES (1, 1);
38step s2i: INSERT INTO child VALUES (2, 1);
39step s1u: UPDATE parent SET aux = 'bar';
40step s2u: UPDATE parent SET aux = 'baz'; <waiting ...>
41step s1c: COMMIT;
42step s2u: <... completed>
43step s2c: COMMIT;
44
45starting permutation: s1i s2i s2u s1u s2c s1c
46step s1i: INSERT INTO child VALUES (1, 1);
47step s2i: INSERT INTO child VALUES (2, 1);
48step s2u: UPDATE parent SET aux = 'baz';
49step s1u: UPDATE parent SET aux = 'bar'; <waiting ...>
50step s2c: COMMIT;
51step s1u: <... completed>
52step s1c: COMMIT;
53
54starting permutation: s1i s2i s2u s2c s1u s1c
55step s1i: INSERT INTO child VALUES (1, 1);
56step s2i: INSERT INTO child VALUES (2, 1);
57step s2u: UPDATE parent SET aux = 'baz';
58step s2c: COMMIT;
59step s1u: UPDATE parent SET aux = 'bar';
60step s1c: COMMIT;
61
62starting permutation: s2i s1i s1u s1c s2u s2c
63step s2i: INSERT INTO child VALUES (2, 1);
64step s1i: INSERT INTO child VALUES (1, 1);
65step s1u: UPDATE parent SET aux = 'bar';
66step s1c: COMMIT;
67step s2u: UPDATE parent SET aux = 'baz';
68step s2c: COMMIT;
69
70starting permutation: s2i s1i s1u s2u s1c s2c
71step s2i: INSERT INTO child VALUES (2, 1);
72step s1i: INSERT INTO child VALUES (1, 1);
73step s1u: UPDATE parent SET aux = 'bar';
74step s2u: UPDATE parent SET aux = 'baz'; <waiting ...>
75step s1c: COMMIT;
76step s2u: <... completed>
77step s2c: COMMIT;
78
79starting permutation: s2i s1i s2u s1u s2c s1c
80step s2i: INSERT INTO child VALUES (2, 1);
81step s1i: INSERT INTO child VALUES (1, 1);
82step s2u: UPDATE parent SET aux = 'baz';
83step s1u: UPDATE parent SET aux = 'bar'; <waiting ...>
84step s2c: COMMIT;
85step s1u: <... completed>
86step s1c: COMMIT;
87
88starting permutation: s2i s1i s2u s2c s1u s1c
89step s2i: INSERT INTO child VALUES (2, 1);
90step s1i: INSERT INTO child VALUES (1, 1);
91step s2u: UPDATE parent SET aux = 'baz';
92step s2c: COMMIT;
93step s1u: UPDATE parent SET aux = 'bar';
94step s1c: COMMIT;
95
96starting permutation: s2i s2u s1i s1u s2c s1c
97step s2i: INSERT INTO child VALUES (2, 1);
98step s2u: UPDATE parent SET aux = 'baz';
99step s1i: INSERT INTO child VALUES (1, 1);
100step s1u: UPDATE parent SET aux = 'bar'; <waiting ...>
101step s2c: COMMIT;
102step s1u: <... completed>
103step s1c: COMMIT;
104
105starting permutation: s2i s2u s1i s2c s1u s1c
106step s2i: INSERT INTO child VALUES (2, 1);
107step s2u: UPDATE parent SET aux = 'baz';
108step s1i: INSERT INTO child VALUES (1, 1);
109step s2c: COMMIT;
110step s1u: UPDATE parent SET aux = 'bar';
111step s1c: COMMIT;
112
113starting permutation: s2i s2u s2c s1i s1u s1c
114step s2i: INSERT INTO child VALUES (2, 1);
115step s2u: UPDATE parent SET aux = 'baz';
116step s2c: COMMIT;
117step s1i: INSERT INTO child VALUES (1, 1);
118step s1u: UPDATE parent SET aux = 'bar';
119step s1c: COMMIT;
120