| Parsed test spec with 2 sessions | |
| starting permutation: s1begin s1delete s2begin s1commit s1vacuum s2select | |
| step s1begin: begin; | |
| step s1delete: delete from heaptest; | |
| step s2begin: BEGIN ISOLATION LEVEL REPEATABLE READ; | |
| select 123 as "establish snapshot"; | |
| establish snapshot | |
| ------------------ | |
| 123 | |
| (1 row) | |
| step s1commit: commit; | |
| step s1vacuum: vacuum heaptest; | |
| step s2select: select count(*) from heaptest; | |
| count | |
| ----- | |
| 100 | |
| (1 row) | |