1Parsed test spec with 4 sessions
2
3starting permutation: s1a s2a s2b s3a s4a s1b s1c s2c s3c s4c
4step s1a: LOCK TABLE a1 IN SHARE UPDATE EXCLUSIVE MODE;
5step s2a: LOCK TABLE a2 IN ACCESS SHARE MODE;
6step s2b: LOCK TABLE a1 IN SHARE UPDATE EXCLUSIVE MODE; <waiting ...>
7step s3a: LOCK TABLE a2 IN ACCESS EXCLUSIVE MODE; <waiting ...>
8step s4a: LOCK TABLE a2 IN ACCESS EXCLUSIVE MODE; <waiting ...>
9step s1b: LOCK TABLE a2 IN SHARE UPDATE EXCLUSIVE MODE; <waiting ...>
10step s1b: <... completed>
11step s1c: COMMIT;
12step s2b: <... completed>
13step s2c: COMMIT;
14step s3a: <... completed>
15step s3c: COMMIT;
16step s4a: <... completed>
17step s4c: COMMIT;
18