1Parsed test spec with 3 sessions
2
3starting permutation: s1lock s2lock s1svpt s3lock s1lock2 s2c s1c s3c
4step s1lock: SELECT * FROM justthis FOR SHARE;
5value
6-----
7    1
8(1 row)
9
10step s2lock: SELECT * FROM justthis FOR SHARE;
11value
12-----
13    1
14(1 row)
15
16step s1svpt: SAVEPOINT foo;
17step s3lock: SELECT * FROM justthis FOR UPDATE; <waiting ...>
18step s1lock2: SELECT * FROM justthis FOR SHARE;
19value
20-----
21    1
22(1 row)
23
24step s2c: COMMIT;
25step s1c: COMMIT;
26step s3lock: <... completed>
27value
28-----
29    1
30(1 row)
31
32step s3c: COMMIT;
33