1
Parsed test spec with 2 sessions
3
starting permutation: wxry1 c1 r2 wyrx2 c2
4
step wxry1: INSERT INTO child (parent_id) VALUES (0);
10
step wyrx2: DELETE FROM parent WHERE parent_id = 0;
11
ERROR: child row exists
14
starting permutation: wxry1 r2 c1 wyrx2 c2
15
step wxry1: INSERT INTO child (parent_id) VALUES (0);
21
step wyrx2: DELETE FROM parent WHERE parent_id = 0;
22
ERROR: could not serialize access due to read/write dependencies among transactions
25
starting permutation: wxry1 r2 wyrx2 c1 c2
26
step wxry1: INSERT INTO child (parent_id) VALUES (0);
31
step wyrx2: DELETE FROM parent WHERE parent_id = 0;
34
ERROR: could not serialize access due to read/write dependencies among transactions
36
starting permutation: wxry1 r2 wyrx2 c2 c1
37
step wxry1: INSERT INTO child (parent_id) VALUES (0);
42
step wyrx2: DELETE FROM parent WHERE parent_id = 0;
45
ERROR: could not serialize access due to read/write dependencies among transactions
47
starting permutation: r2 wxry1 c1 wyrx2 c2
52
step wxry1: INSERT INTO child (parent_id) VALUES (0);
54
step wyrx2: DELETE FROM parent WHERE parent_id = 0;
55
ERROR: could not serialize access due to read/write dependencies among transactions
58
starting permutation: r2 wxry1 wyrx2 c1 c2
63
step wxry1: INSERT INTO child (parent_id) VALUES (0);
64
step wyrx2: DELETE FROM parent WHERE parent_id = 0;
67
ERROR: could not serialize access due to read/write dependencies among transactions
69
starting permutation: r2 wxry1 wyrx2 c2 c1
74
step wxry1: INSERT INTO child (parent_id) VALUES (0);
75
step wyrx2: DELETE FROM parent WHERE parent_id = 0;
78
ERROR: could not serialize access due to read/write dependencies among transactions
80
starting permutation: r2 wyrx2 wxry1 c1 c2
85
step wyrx2: DELETE FROM parent WHERE parent_id = 0;
86
step wxry1: INSERT INTO child (parent_id) VALUES (0);
89
ERROR: could not serialize access due to read/write dependencies among transactions
91
starting permutation: r2 wyrx2 wxry1 c2 c1
96
step wyrx2: DELETE FROM parent WHERE parent_id = 0;
97
step wxry1: INSERT INTO child (parent_id) VALUES (0);
100
ERROR: could not serialize access due to read/write dependencies among transactions
102
starting permutation: r2 wyrx2 c2 wxry1 c1
103
step r2: SELECT TRUE;
107
step wyrx2: DELETE FROM parent WHERE parent_id = 0;
109
step wxry1: INSERT INTO child (parent_id) VALUES (0);
110
ERROR: parent row missing