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