Parsed test spec with 4 sessions

starting permutation: s3_prep s2_predel s2_hot s1_begin s2_delete s2_hot2 s1_count s4_scan s3_vacuum s2_wakeup s1_commit s3_count s3_verify s2_detach
injection_points_attach
-----------------------
                       
(1 row)

step s3_prep: VACUUM (FREEZE) cpr;
step s2_predel: DELETE FROM cpr WHERE k = 1 AND id > 3800;
step s2_hot: UPDATE cpr SET v = 1 WHERE k = 1 AND id BETWEEN 1500 AND 3000 AND id % 40 IN (1, 21);
step s1_begin: BEGIN ISOLATION LEVEL REPEATABLE READ; SELECT 1 AS snapshot;
snapshot
--------
       1
(1 row)

step s2_delete: DELETE FROM cpr WHERE k = 1 AND id <= 1000;
step s2_hot2: UPDATE cpr SET v = 2 WHERE k = 1 AND id BETWEEN 1001 AND 1400 AND id % 40 IN (1, 21);
step s1_count: SELECT count(*) FROM cpr WHERE k = 1; <waiting ...>
step s4_scan: SELECT count(*) AS seq_all FROM cpr;
seq_all
-------
   3700
(1 row)

step s3_vacuum: VACUUM cpr; <waiting ...>
step s2_wakeup: 
	SELECT cpr_wait_for_vacuum() AS vacuum_waited_for_the_pin;
	SELECT injection_points_wakeup('lion-count-containers-pinned');

vacuum_waited_for_the_pin
-------------------------
t                        
(1 row)

injection_points_wakeup
-----------------------
                       
(1 row)

step s1_count: <... completed>
count
-----
  950
(1 row)

step s3_vacuum: <... completed>
step s1_commit: COMMIT;
step s3_count: 
	SELECT count(*) AS seq_k1 FROM cpr WHERE k = 1;
	SELECT lion_index_count('cpr_k', 1) AS index_k1;

seq_k1
------
   700
(1 row)

index_k1
--------
     700
(1 row)

step s3_verify: SELECT lion_index_verify('cpr_k', true);
lion_index_verify
-----------------
                 
(1 row)

step s2_detach: SELECT injection_points_detach('lion-count-containers-pinned');
injection_points_detach
-----------------------
                       
(1 row)


starting permutation: s3_prep s2_predel s2_hot s1_begin s2_delete s2_hot2 s1_count s2_release s1_count2 s3_vacuum s2_wakeup s1_commit s3_count s3_verify s2_detach
injection_points_attach
-----------------------
                       
(1 row)

step s3_prep: VACUUM (FREEZE) cpr;
step s2_predel: DELETE FROM cpr WHERE k = 1 AND id > 3800;
step s2_hot: UPDATE cpr SET v = 1 WHERE k = 1 AND id BETWEEN 1500 AND 3000 AND id % 40 IN (1, 21);
step s1_begin: BEGIN ISOLATION LEVEL REPEATABLE READ; SELECT 1 AS snapshot;
snapshot
--------
       1
(1 row)

step s2_delete: DELETE FROM cpr WHERE k = 1 AND id <= 1000;
step s2_hot2: UPDATE cpr SET v = 2 WHERE k = 1 AND id BETWEEN 1001 AND 1400 AND id % 40 IN (1, 21);
step s1_count: SELECT count(*) FROM cpr WHERE k = 1; <waiting ...>
step s2_release: SELECT injection_points_wakeup('lion-count-containers-pinned');
injection_points_wakeup
-----------------------
                       
(1 row)

step s1_count: <... completed>
count
-----
  950
(1 row)

step s1_count2: SELECT count(*) FROM cpr WHERE k = 1; <waiting ...>
step s3_vacuum: VACUUM cpr; <waiting ...>
step s2_wakeup: 
	SELECT cpr_wait_for_vacuum() AS vacuum_waited_for_the_pin;
	SELECT injection_points_wakeup('lion-count-containers-pinned');

vacuum_waited_for_the_pin
-------------------------
t                        
(1 row)

injection_points_wakeup
-----------------------
                       
(1 row)

step s1_count2: <... completed>
count
-----
  950
(1 row)

step s3_vacuum: <... completed>
step s1_commit: COMMIT;
step s3_count: 
	SELECT count(*) AS seq_k1 FROM cpr WHERE k = 1;
	SELECT lion_index_count('cpr_k', 1) AS index_k1;

seq_k1
------
   700
(1 row)

index_k1
--------
     700
(1 row)

step s3_verify: SELECT lion_index_verify('cpr_k', true);
lion_index_verify
-----------------
                 
(1 row)

step s2_detach: SELECT injection_points_detach('lion-count-containers-pinned');
injection_points_detach
-----------------------
                       
(1 row)