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