1+ unused step name: s1_enable_pg_qs
2+ unused step name: s1_pg_qs_counterpart
3+ unused step name: s2_save_pid
14Parsed test spec with 2 sessions
25
36starting permutation: s1_pg_qs_1
@@ -10,55 +13,73 @@ ERROR: attempt to extract state of current process
1013
1114starting permutation: s1_save_pid s2_pg_qs_counterpart
1215step s1_save_pid: select save_own_pid(0);
13- save_own_pid
16+ save_own_pid
17+ ------------
18+
19+ (1 row)
1420
15-
16- INFO: state of backend is idle
21+ s2: INFO: state of backend is idle
1722step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
18- pg_query_state
23+ pg_query_state
24+ --------------
25+ (0 rows)
1926
2027
2128starting permutation: s1_save_pid s1_disable_pg_qs s2_pg_qs_counterpart
2229step s1_save_pid: select save_own_pid(0);
23- save_own_pid
30+ save_own_pid
31+ ------------
32+
33+ (1 row)
2434
25-
2635step s1_disable_pg_qs: set pg_query_state.enable to off;
27- INFO: query execution statistics disabled
36+ s2: INFO: query execution statistics disabled
2837step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
29- pg_query_state
38+ pg_query_state
39+ --------------
40+ (0 rows)
3041
3142
3243starting permutation: s1_set_bob s2_set_bob s1_save_pid s2_pg_qs_counterpart
3344step s1_set_bob: set role bob;
3445step s2_set_bob: set role bob;
3546step s1_save_pid: select save_own_pid(0);
36- save_own_pid
47+ save_own_pid
48+ ------------
49+
50+ (1 row)
3751
38-
39- INFO: state of backend is idle
52+ s2: INFO: state of backend is idle
4053step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
41- pg_query_state
54+ pg_query_state
55+ --------------
56+ (0 rows)
4257
4358
4459starting permutation: s1_set_bob s2_set_su s1_save_pid s2_pg_qs_counterpart
4560step s1_set_bob: set role bob;
4661step s2_set_su: set role super;
4762step s1_save_pid: select save_own_pid(0);
48- save_own_pid
63+ save_own_pid
64+ ------------
65+
66+ (1 row)
4967
50-
51- INFO: state of backend is idle
68+ s2: INFO: state of backend is idle
5269step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
53- pg_query_state
70+ pg_query_state
71+ --------------
72+ (0 rows)
5473
5574
5675starting permutation: s1_set_bob s2_set_alice s1_save_pid s2_pg_qs_counterpart
5776step s1_set_bob: set role bob;
5877step s2_set_alice: set role alice;
5978step s1_save_pid: select save_own_pid(0);
60- save_own_pid
79+ save_own_pid
80+ ------------
81+
82+ (1 row)
6183
62-
6384step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
6485ERROR: permission denied
0 commit comments