Skip to content

Commit 8e622f9

Browse files
committed
Update test-questionmark-vars
1 parent 2657c50 commit 8e622f9

9 files changed

+112
-529
lines changed

booster/test/rpc-integration/test-questionmark-vars/response-one-ques-substitution.json

+51-61
Original file line numberDiff line numberDiff line change
@@ -86,73 +86,63 @@
8686
},
8787
"patterns": [
8888
{
89-
"tag": "And",
89+
"tag": "Equals",
90+
"argSort": {
91+
"tag": "SortApp",
92+
"name": "SortState",
93+
"args": []
94+
},
9095
"sort": {
9196
"tag": "SortApp",
9297
"name": "SortGeneratedTopCell",
9398
"args": []
9499
},
95-
"patterns": [
96-
{
97-
"tag": "Equals",
98-
"argSort": {
99-
"tag": "SortApp",
100-
"name": "SortState",
101-
"args": []
102-
},
103-
"sort": {
104-
"tag": "SortApp",
105-
"name": "SortGeneratedTopCell",
106-
"args": []
107-
},
108-
"first": {
109-
"tag": "EVar",
110-
"name": "Var'Ques'X",
111-
"sort": {
112-
"tag": "SortApp",
113-
"name": "SortState",
114-
"args": []
115-
}
116-
},
117-
"second": {
118-
"tag": "App",
119-
"name": "Lblb'Unds'QUESTIONMARK-VARS'Unds'State",
120-
"sorts": [],
121-
"args": []
122-
}
123-
},
124-
{
125-
"tag": "Equals",
126-
"argSort": {
127-
"tag": "SortApp",
128-
"name": "SortState",
129-
"args": []
130-
},
131-
"sort": {
132-
"tag": "SortApp",
133-
"name": "SortGeneratedTopCell",
134-
"args": []
135-
},
136-
"first": {
137-
"tag": "EVar",
138-
"name": "Var'Ques'X0",
139-
"sort": {
140-
"tag": "SortApp",
141-
"name": "SortState",
142-
"args": []
143-
}
144-
},
145-
"second": {
146-
"tag": "EVar",
147-
"name": "Var'Ques'X1",
148-
"sort": {
149-
"tag": "SortApp",
150-
"name": "SortState",
151-
"args": []
152-
}
153-
}
100+
"first": {
101+
"tag": "EVar",
102+
"name": "Var'Ques'X",
103+
"sort": {
104+
"tag": "SortApp",
105+
"name": "SortState",
106+
"args": []
154107
}
155-
]
108+
},
109+
"second": {
110+
"tag": "App",
111+
"name": "Lblb'Unds'QUESTIONMARK-VARS'Unds'State",
112+
"sorts": [],
113+
"args": []
114+
}
115+
},
116+
{
117+
"tag": "Equals",
118+
"argSort": {
119+
"tag": "SortApp",
120+
"name": "SortState",
121+
"args": []
122+
},
123+
"sort": {
124+
"tag": "SortApp",
125+
"name": "SortGeneratedTopCell",
126+
"args": []
127+
},
128+
"first": {
129+
"tag": "EVar",
130+
"name": "Var'Ques'X0",
131+
"sort": {
132+
"tag": "SortApp",
133+
"name": "SortState",
134+
"args": []
135+
}
136+
},
137+
"second": {
138+
"tag": "EVar",
139+
"name": "Var'Ques'X1",
140+
"sort": {
141+
"tag": "SortApp",
142+
"name": "SortState",
143+
"args": []
144+
}
145+
}
156146
},
157147
{
158148
"tag": "Equals",

booster/test/rpc-integration/test-questionmark-vars/response-one-ques-substitution.booster-dev renamed to booster/test/rpc-integration/test-questionmark-vars/response-one-ques-substitution.kore-rpc-dev

+61-51
Original file line numberDiff line numberDiff line change
@@ -86,63 +86,73 @@
8686
},
8787
"patterns": [
8888
{
89-
"tag": "Equals",
90-
"argSort": {
91-
"tag": "SortApp",
92-
"name": "SortState",
93-
"args": []
94-
},
89+
"tag": "And",
9590
"sort": {
9691
"tag": "SortApp",
9792
"name": "SortGeneratedTopCell",
9893
"args": []
9994
},
100-
"first": {
101-
"tag": "EVar",
102-
"name": "Var'Ques'X",
103-
"sort": {
104-
"tag": "SortApp",
105-
"name": "SortState",
106-
"args": []
107-
}
108-
},
109-
"second": {
110-
"tag": "App",
111-
"name": "Lblb'Unds'QUESTIONMARK-VARS'Unds'State",
112-
"sorts": [],
113-
"args": []
114-
}
115-
},
116-
{
117-
"tag": "Equals",
118-
"argSort": {
119-
"tag": "SortApp",
120-
"name": "SortState",
121-
"args": []
122-
},
123-
"sort": {
124-
"tag": "SortApp",
125-
"name": "SortGeneratedTopCell",
126-
"args": []
127-
},
128-
"first": {
129-
"tag": "EVar",
130-
"name": "Var'Ques'X0",
131-
"sort": {
132-
"tag": "SortApp",
133-
"name": "SortState",
134-
"args": []
135-
}
136-
},
137-
"second": {
138-
"tag": "EVar",
139-
"name": "Var'Ques'X1",
140-
"sort": {
141-
"tag": "SortApp",
142-
"name": "SortState",
143-
"args": []
95+
"patterns": [
96+
{
97+
"tag": "Equals",
98+
"argSort": {
99+
"tag": "SortApp",
100+
"name": "SortState",
101+
"args": []
102+
},
103+
"sort": {
104+
"tag": "SortApp",
105+
"name": "SortGeneratedTopCell",
106+
"args": []
107+
},
108+
"first": {
109+
"tag": "EVar",
110+
"name": "Var'Ques'X",
111+
"sort": {
112+
"tag": "SortApp",
113+
"name": "SortState",
114+
"args": []
115+
}
116+
},
117+
"second": {
118+
"tag": "App",
119+
"name": "Lblb'Unds'QUESTIONMARK-VARS'Unds'State",
120+
"sorts": [],
121+
"args": []
122+
}
123+
},
124+
{
125+
"tag": "Equals",
126+
"argSort": {
127+
"tag": "SortApp",
128+
"name": "SortState",
129+
"args": []
130+
},
131+
"sort": {
132+
"tag": "SortApp",
133+
"name": "SortGeneratedTopCell",
134+
"args": []
135+
},
136+
"first": {
137+
"tag": "EVar",
138+
"name": "Var'Ques'X0",
139+
"sort": {
140+
"tag": "SortApp",
141+
"name": "SortState",
142+
"args": []
143+
}
144+
},
145+
"second": {
146+
"tag": "EVar",
147+
"name": "Var'Ques'X1",
148+
"sort": {
149+
"tag": "SortApp",
150+
"name": "SortState",
151+
"args": []
152+
}
153+
}
144154
}
145-
}
155+
]
146156
},
147157
{
148158
"tag": "Equals",

booster/test/rpc-integration/test-questionmark-vars/response-one-ques.kore-rpc-dev

-121
This file was deleted.

0 commit comments

Comments
 (0)