diff --git a/expected/corner_cases.out b/expected/corner_cases.out index b475e33..725addc 100644 --- a/expected/corner_cases.out +++ b/expected/corner_cases.out @@ -18,8 +18,9 @@ save_own_pid (1 row) +step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); s2: INFO: state of backend is idle -step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); +step s2_pg_qs_counterpart: <... completed> pg_query_state -------------- (0 rows) @@ -33,8 +34,9 @@ save_own_pid (1 row) step s1_disable_pg_qs: set pg_query_state.enable to off; +step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); s2: INFO: query execution statistics disabled -step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); +step s2_pg_qs_counterpart: <... completed> pg_query_state -------------- (0 rows) @@ -49,8 +51,9 @@ save_own_pid (1 row) +step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); s2: INFO: state of backend is idle -step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); +step s2_pg_qs_counterpart: <... completed> pg_query_state -------------- (0 rows) @@ -65,8 +68,9 @@ save_own_pid (1 row) +step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); s2: INFO: state of backend is idle -step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); +step s2_pg_qs_counterpart: <... completed> pg_query_state -------------- (0 rows) @@ -81,5 +85,6 @@ save_own_pid (1 row) -step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); +step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); +step s2_pg_qs_counterpart: <... completed> ERROR: permission denied diff --git a/expected/corner_cases_2.out b/expected/corner_cases_2.out index da624f7..df7495f 100644 --- a/expected/corner_cases_2.out +++ b/expected/corner_cases_2.out @@ -13,8 +13,9 @@ step s1_save_pid: select save_own_pid(0); save_own_pid +step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); s2: INFO: state of backend is idle -step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); +step s2_pg_qs_counterpart: <... completed> pg_query_state @@ -24,8 +25,9 @@ save_own_pid step s1_disable_pg_qs: set pg_query_state.enable to off; +step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); s2: INFO: query execution statistics disabled -step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); +step s2_pg_qs_counterpart: <... completed> pg_query_state @@ -36,8 +38,9 @@ step s1_save_pid: select save_own_pid(0); save_own_pid +step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); s2: INFO: state of backend is idle -step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); +step s2_pg_qs_counterpart: <... completed> pg_query_state @@ -48,8 +51,9 @@ step s1_save_pid: select save_own_pid(0); save_own_pid +step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); s2: INFO: state of backend is idle -step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); +step s2_pg_qs_counterpart: <... completed> pg_query_state @@ -60,5 +64,6 @@ step s1_save_pid: select save_own_pid(0); save_own_pid -step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); +step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); +step s2_pg_qs_counterpart: <... completed> ERROR: permission denied diff --git a/expected/corner_cases_3.out b/expected/corner_cases_3.out index 845db75..8f6a8ef 100644 --- a/expected/corner_cases_3.out +++ b/expected/corner_cases_3.out @@ -13,8 +13,9 @@ step s1_save_pid: select save_own_pid(0); save_own_pid +step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); s2: INFO: state of backend is idle -step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); +step s2_pg_qs_counterpart: <... completed> pg_query_state @@ -24,8 +25,9 @@ save_own_pid step s1_disable_pg_qs: set pg_query_state.enable to off; +step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); s2: INFO: query execution statistics disabled -step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); +step s2_pg_qs_counterpart: <... completed> pg_query_state @@ -36,8 +38,9 @@ step s1_save_pid: select save_own_pid(0); save_own_pid +step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); s2: INFO: state of backend is idle -step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); +step s2_pg_qs_counterpart: <... completed> pg_query_state @@ -48,8 +51,9 @@ step s1_save_pid: select save_own_pid(0); save_own_pid +step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); s2: INFO: state of backend is idle -step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); +step s2_pg_qs_counterpart: <... completed> pg_query_state @@ -60,7 +64,8 @@ step s1_save_pid: select save_own_pid(0); save_own_pid -step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); +step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0)); +step s2_pg_qs_counterpart: <... completed> ERROR: permission denied unused step name: s1_enable_pg_qs unused step name: s1_pg_qs_counterpart diff --git a/specs/corner_cases.spec b/specs/corner_cases.spec index 292b39d..c9f3fde 100644 --- a/specs/corner_cases.spec +++ b/specs/corner_cases.spec @@ -64,12 +64,12 @@ permutation "s1_pg_qs_1" permutation "s1_pg_qs_2" # Check idle -permutation "s1_save_pid" "s2_pg_qs_counterpart" +permutation "s1_save_pid" "s2_pg_qs_counterpart"(*) # Check module disable -permutation "s1_save_pid" "s1_disable_pg_qs" "s2_pg_qs_counterpart" +permutation "s1_save_pid" "s1_disable_pg_qs" "s2_pg_qs_counterpart"(*) # Check roles correspondence -permutation "s1_set_bob" "s2_set_bob" "s1_save_pid" "s2_pg_qs_counterpart" -permutation "s1_set_bob" "s2_set_su" "s1_save_pid" "s2_pg_qs_counterpart" -permutation "s1_set_bob" "s2_set_alice" "s1_save_pid" "s2_pg_qs_counterpart" +permutation "s1_set_bob" "s2_set_bob" "s1_save_pid" "s2_pg_qs_counterpart"(*) +permutation "s1_set_bob" "s2_set_su" "s1_save_pid" "s2_pg_qs_counterpart"(*) +permutation "s1_set_bob" "s2_set_alice" "s1_save_pid" "s2_pg_qs_counterpart"(*)