1Parsed test spec with 2 sessions
2
3starting permutation: s1as s2as s1ae s2ae s1c s2c
4step s1as: LOCK TABLE a1 IN ACCESS SHARE MODE;
5step s2as: LOCK TABLE a1 IN ACCESS SHARE MODE;
6step s1ae: LOCK TABLE a1 IN ACCESS EXCLUSIVE MODE; <waiting ...>
7step s2ae: LOCK TABLE a1 IN ACCESS EXCLUSIVE MODE;
8ERROR:  deadlock detected
9step s1ae: <... completed>
10step s1c: COMMIT;
11step s2c: COMMIT;
12