300 lines
13 KiB
Plaintext
300 lines
13 KiB
Plaintext
|
Parsed test spec with 2 sessions
|
||
|
|
||
|
starting permutation: rx1 wy1 c1 ry2 wx2 c2
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
step c1: COMMIT;
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
step c2: COMMIT;
|
||
|
|
||
|
starting permutation: rx1 wy1 ry2 c1 wx2 c2
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step c1: COMMIT;
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
ERROR: could not serialize access due to read/write dependencies among transactions
|
||
|
step c2: COMMIT;
|
||
|
|
||
|
starting permutation: rx1 wy1 ry2 wx2 c1 c2
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
step c1: COMMIT;
|
||
|
step c2: COMMIT;
|
||
|
ERROR: could not serialize access due to read/write dependencies among transactions
|
||
|
|
||
|
starting permutation: rx1 wy1 ry2 wx2 c2 c1
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
step c2: COMMIT;
|
||
|
step c1: COMMIT;
|
||
|
ERROR: could not serialize access due to read/write dependencies among transactions
|
||
|
|
||
|
starting permutation: rx1 ry2 wy1 c1 wx2 c2
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
step c1: COMMIT;
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
ERROR: could not serialize access due to read/write dependencies among transactions
|
||
|
step c2: COMMIT;
|
||
|
|
||
|
starting permutation: rx1 ry2 wy1 wx2 c1 c2
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
step c1: COMMIT;
|
||
|
step c2: COMMIT;
|
||
|
ERROR: could not serialize access due to read/write dependencies among transactions
|
||
|
|
||
|
starting permutation: rx1 ry2 wy1 wx2 c2 c1
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
step c2: COMMIT;
|
||
|
step c1: COMMIT;
|
||
|
ERROR: could not serialize access due to read/write dependencies among transactions
|
||
|
|
||
|
starting permutation: rx1 ry2 wx2 wy1 c1 c2
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
step c1: COMMIT;
|
||
|
step c2: COMMIT;
|
||
|
ERROR: could not serialize access due to read/write dependencies among transactions
|
||
|
|
||
|
starting permutation: rx1 ry2 wx2 wy1 c2 c1
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
step c2: COMMIT;
|
||
|
step c1: COMMIT;
|
||
|
ERROR: could not serialize access due to read/write dependencies among transactions
|
||
|
|
||
|
starting permutation: rx1 ry2 wx2 c2 wy1 c1
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
step c2: COMMIT;
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
ERROR: could not serialize access due to read/write dependencies among transactions
|
||
|
step c1: COMMIT;
|
||
|
|
||
|
starting permutation: ry2 rx1 wy1 c1 wx2 c2
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
step c1: COMMIT;
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
ERROR: could not serialize access due to read/write dependencies among transactions
|
||
|
step c2: COMMIT;
|
||
|
|
||
|
starting permutation: ry2 rx1 wy1 wx2 c1 c2
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
step c1: COMMIT;
|
||
|
step c2: COMMIT;
|
||
|
ERROR: could not serialize access due to read/write dependencies among transactions
|
||
|
|
||
|
starting permutation: ry2 rx1 wy1 wx2 c2 c1
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
step c2: COMMIT;
|
||
|
step c1: COMMIT;
|
||
|
ERROR: could not serialize access due to read/write dependencies among transactions
|
||
|
|
||
|
starting permutation: ry2 rx1 wx2 wy1 c1 c2
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
step c1: COMMIT;
|
||
|
step c2: COMMIT;
|
||
|
ERROR: could not serialize access due to read/write dependencies among transactions
|
||
|
|
||
|
starting permutation: ry2 rx1 wx2 wy1 c2 c1
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
step c2: COMMIT;
|
||
|
step c1: COMMIT;
|
||
|
ERROR: could not serialize access due to read/write dependencies among transactions
|
||
|
|
||
|
starting permutation: ry2 rx1 wx2 c2 wy1 c1
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
step c2: COMMIT;
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
ERROR: could not serialize access due to read/write dependencies among transactions
|
||
|
step c1: COMMIT;
|
||
|
|
||
|
starting permutation: ry2 wx2 rx1 wy1 c1 c2
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
step c1: COMMIT;
|
||
|
step c2: COMMIT;
|
||
|
ERROR: could not serialize access due to read/write dependencies among transactions
|
||
|
|
||
|
starting permutation: ry2 wx2 rx1 wy1 c2 c1
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
step c2: COMMIT;
|
||
|
step c1: COMMIT;
|
||
|
ERROR: could not serialize access due to read/write dependencies among transactions
|
||
|
|
||
|
starting permutation: ry2 wx2 rx1 c2 wy1 c1
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
1
|
||
|
step c2: COMMIT;
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
ERROR: could not serialize access due to read/write dependencies among transactions
|
||
|
step c1: COMMIT;
|
||
|
|
||
|
starting permutation: ry2 wx2 c2 rx1 wy1 c1
|
||
|
step ry2: SELECT count(*) FROM offense WHERE statute_cite = '123.45(1)a' AND offense_date >= DATE '2008-01-01';
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step wx2: DELETE FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date = DATE '2008-01-01';
|
||
|
step c2: COMMIT;
|
||
|
step rx1: SELECT count(*) FROM statute WHERE statute_cite = '123.45(1)a' AND eff_date <= DATE '2009-05-15' AND (exp_date IS NULL OR exp_date > DATE '2009-05-15');
|
||
|
count
|
||
|
|
||
|
0
|
||
|
step wy1: INSERT INTO offense VALUES (1, '123.45(1)a', DATE '2009-05-15');
|
||
|
step c1: COMMIT;
|