Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit4744f6a

Browse files
dlepikhovaololobus
authored andcommitted
Added multiply variants for tests
1 parent10c4150 commit4744f6a

File tree

4 files changed

+152
-24
lines changed

4 files changed

+152
-24
lines changed

‎expected/corner_cases.out

Lines changed: 4 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ step s1_save_pid: select save_own_pid(0);
1313
save_own_pid
1414

1515

16-
s2:INFO: state of backend is idle
16+
INFO: state of backend is idle
1717
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
1818
pg_query_state
1919

@@ -24,7 +24,7 @@ save_own_pid
2424

2525

2626
step s1_disable_pg_qs: set pg_query_state.enable to off;
27-
s2:INFO: query execution statistics disabled
27+
INFO: query execution statistics disabled
2828
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
2929
pg_query_state
3030

@@ -36,7 +36,7 @@ step s1_save_pid: select save_own_pid(0);
3636
save_own_pid
3737

3838

39-
s2:INFO: state of backend is idle
39+
INFO: state of backend is idle
4040
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
4141
pg_query_state
4242

@@ -48,7 +48,7 @@ step s1_save_pid: select save_own_pid(0);
4848
save_own_pid
4949

5050

51-
s2:INFO: state of backend is idle
51+
INFO: state of backend is idle
5252
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
5353
pg_query_state
5454

@@ -62,6 +62,3 @@ save_own_pid
6262

6363
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
6464
ERROR: permission denied
65-
unused step name: s1_enable_pg_qs
66-
unused step name: s1_pg_qs_counterpart
67-
unused step name: s2_save_pid

‎expected/corner_cases_2.out

Lines changed: 14 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -10,58 +10,55 @@ ERROR: attempt to extract state of current process
1010

1111
starting permutation: s1_save_pid s2_pg_qs_counterpart
1212
step s1_save_pid: select save_own_pid(0);
13-
save_own_pid
14-
13+
save_own_pid
1514

15+
1616
s2: INFO: state of backend is idle
1717
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
18-
pg_query_state
18+
pg_query_state
1919

2020

2121
starting permutation: s1_save_pid s1_disable_pg_qs s2_pg_qs_counterpart
2222
step s1_save_pid: select save_own_pid(0);
23-
save_own_pid
24-
23+
save_own_pid
2524

25+
2626
step s1_disable_pg_qs: set pg_query_state.enable to off;
2727
s2: INFO: query execution statistics disabled
2828
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
29-
pg_query_state
29+
pg_query_state
3030

3131

3232
starting permutation: s1_set_bob s2_set_bob s1_save_pid s2_pg_qs_counterpart
3333
step s1_set_bob: set role bob;
3434
step s2_set_bob: set role bob;
3535
step s1_save_pid: select save_own_pid(0);
36-
save_own_pid
37-
36+
save_own_pid
3837

38+
3939
s2: INFO: state of backend is idle
4040
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
41-
pg_query_state
41+
pg_query_state
4242

4343

4444
starting permutation: s1_set_bob s2_set_su s1_save_pid s2_pg_qs_counterpart
4545
step s1_set_bob: set role bob;
4646
step s2_set_su: set role super;
4747
step s1_save_pid: select save_own_pid(0);
48-
save_own_pid
49-
48+
save_own_pid
5049

50+
5151
s2: INFO: state of backend is idle
5252
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
53-
pg_query_state
53+
pg_query_state
5454

5555

5656
starting permutation: s1_set_bob s2_set_alice s1_save_pid s2_pg_qs_counterpart
5757
step s1_set_bob: set role bob;
5858
step s2_set_alice: set role alice;
5959
step s1_save_pid: select save_own_pid(0);
60-
save_own_pid
61-
60+
save_own_pid
6261

62+
6363
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
6464
ERROR: permission denied
65-
unused step name: s1_enable_pg_qs
66-
unused step name: s1_pg_qs_counterpart
67-
unused step name: s2_save_pid

‎expected/corner_cases_3.out

Lines changed: 67 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,67 @@
1+
Parsed test spec with 2 sessions
2+
3+
starting permutation: s1_pg_qs_1
4+
step s1_pg_qs_1: select pg_query_state(1);
5+
ERROR: backend with pid=1 not found
6+
7+
starting permutation: s1_pg_qs_2
8+
step s1_pg_qs_2: select pg_query_state(pg_backend_pid());
9+
ERROR: attempt to extract state of current process
10+
11+
starting permutation: s1_save_pid s2_pg_qs_counterpart
12+
step s1_save_pid: select save_own_pid(0);
13+
save_own_pid
14+
15+
16+
s2: INFO: state of backend is idle
17+
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
18+
pg_query_state
19+
20+
21+
starting permutation: s1_save_pid s1_disable_pg_qs s2_pg_qs_counterpart
22+
step s1_save_pid: select save_own_pid(0);
23+
save_own_pid
24+
25+
26+
step s1_disable_pg_qs: set pg_query_state.enable to off;
27+
s2: INFO: query execution statistics disabled
28+
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
29+
pg_query_state
30+
31+
32+
starting permutation: s1_set_bob s2_set_bob s1_save_pid s2_pg_qs_counterpart
33+
step s1_set_bob: set role bob;
34+
step s2_set_bob: set role bob;
35+
step s1_save_pid: select save_own_pid(0);
36+
save_own_pid
37+
38+
39+
s2: INFO: state of backend is idle
40+
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
41+
pg_query_state
42+
43+
44+
starting permutation: s1_set_bob s2_set_su s1_save_pid s2_pg_qs_counterpart
45+
step s1_set_bob: set role bob;
46+
step s2_set_su: set role super;
47+
step s1_save_pid: select save_own_pid(0);
48+
save_own_pid
49+
50+
51+
s2: INFO: state of backend is idle
52+
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
53+
pg_query_state
54+
55+
56+
starting permutation: s1_set_bob s2_set_alice s1_save_pid s2_pg_qs_counterpart
57+
step s1_set_bob: set role bob;
58+
step s2_set_alice: set role alice;
59+
step s1_save_pid: select save_own_pid(0);
60+
save_own_pid
61+
62+
63+
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
64+
ERROR: permission denied
65+
unused step name: s1_enable_pg_qs
66+
unused step name: s1_pg_qs_counterpart
67+
unused step name: s2_save_pid

‎expected/corner_cases_4.out

Lines changed: 67 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,67 @@
1+
Parsed test spec with 2 sessions
2+
3+
starting permutation: s1_pg_qs_1
4+
step s1_pg_qs_1: select pg_query_state(1);
5+
ERROR: backend with pid=1 not found
6+
7+
starting permutation: s1_pg_qs_2
8+
step s1_pg_qs_2: select pg_query_state(pg_backend_pid());
9+
ERROR: attempt to extract state of current process
10+
11+
starting permutation: s1_save_pid s2_pg_qs_counterpart
12+
step s1_save_pid: select save_own_pid(0);
13+
save_own_pid
14+
15+
16+
s2: INFO: state of backend is idle
17+
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
18+
pg_query_state
19+
20+
21+
starting permutation: s1_save_pid s1_disable_pg_qs s2_pg_qs_counterpart
22+
step s1_save_pid: select save_own_pid(0);
23+
save_own_pid
24+
25+
26+
step s1_disable_pg_qs: set pg_query_state.enable to off;
27+
s2: INFO: query execution statistics disabled
28+
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
29+
pg_query_state
30+
31+
32+
starting permutation: s1_set_bob s2_set_bob s1_save_pid s2_pg_qs_counterpart
33+
step s1_set_bob: set role bob;
34+
step s2_set_bob: set role bob;
35+
step s1_save_pid: select save_own_pid(0);
36+
save_own_pid
37+
38+
39+
s2: INFO: state of backend is idle
40+
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
41+
pg_query_state
42+
43+
44+
starting permutation: s1_set_bob s2_set_su s1_save_pid s2_pg_qs_counterpart
45+
step s1_set_bob: set role bob;
46+
step s2_set_su: set role super;
47+
step s1_save_pid: select save_own_pid(0);
48+
save_own_pid
49+
50+
51+
s2: INFO: state of backend is idle
52+
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
53+
pg_query_state
54+
55+
56+
starting permutation: s1_set_bob s2_set_alice s1_save_pid s2_pg_qs_counterpart
57+
step s1_set_bob: set role bob;
58+
step s2_set_alice: set role alice;
59+
step s1_save_pid: select save_own_pid(0);
60+
save_own_pid
61+
62+
63+
step s2_pg_qs_counterpart: select pg_query_state(counterpart_pid(0));
64+
ERROR: permission denied
65+
unused step name: s1_enable_pg_qs
66+
unused step name: s1_pg_qs_counterpart
67+
unused step name: s2_save_pid

0 commit comments

Comments
 (0)

[8]ページ先頭

©2009-2025 Movatter.jp