Skip to content

Commit

Permalink
Update test-questionmark-vars
Browse files Browse the repository at this point in the history
  • Loading branch information
@geo2a
geo2a committed Oct 22, 2024
1 parent 2657c50 commit 8e622f9
Show file tree
Hide file tree
Showing 9 changed files with 112 additions and 529 deletions.
112 changes: 51 additions & 61 deletions booster/test/rpc-integration/test-questionmark-vars/response-one-ques-substitution.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -86,73 +86,63 @@
},
"patterns": [
{
"tag": "And",
"tag": "Equals",
"argSort": {
"tag": "SortApp",
"name": "SortState",
"args": []
},
"sort": {
"tag": "SortApp",
"name": "SortGeneratedTopCell",
"args": []
},
"patterns": [
{
"tag": "Equals",
"argSort": {
"tag": "SortApp",
"name": "SortState",
"args": []
},
"sort": {
"tag": "SortApp",
"name": "SortGeneratedTopCell",
"args": []
},
"first": {
"tag": "EVar",
"name": "Var'Ques'X",
"sort": {
"tag": "SortApp",
"name": "SortState",
"args": []
}
},
"second": {
"tag": "App",
"name": "Lblb'Unds'QUESTIONMARK-VARS'Unds'State",
"sorts": [],
"args": []
}
},
{
"tag": "Equals",
"argSort": {
"tag": "SortApp",
"name": "SortState",
"args": []
},
"sort": {
"tag": "SortApp",
"name": "SortGeneratedTopCell",
"args": []
},
"first": {
"tag": "EVar",
"name": "Var'Ques'X0",
"sort": {
"tag": "SortApp",
"name": "SortState",
"args": []
}
},
"second": {
"tag": "EVar",
"name": "Var'Ques'X1",
"sort": {
"tag": "SortApp",
"name": "SortState",
"args": []
}
}
"first": {
"tag": "EVar",
"name": "Var'Ques'X",
"sort": {
"tag": "SortApp",
"name": "SortState",
"args": []
}
]
},
"second": {
"tag": "App",
"name": "Lblb'Unds'QUESTIONMARK-VARS'Unds'State",
"sorts": [],
"args": []
}
},
{
"tag": "Equals",
"argSort": {
"tag": "SortApp",
"name": "SortState",
"args": []
},
"sort": {
"tag": "SortApp",
"name": "SortGeneratedTopCell",
"args": []
},
"first": {
"tag": "EVar",
"name": "Var'Ques'X0",
"sort": {
"tag": "SortApp",
"name": "SortState",
"args": []
}
},
"second": {
"tag": "EVar",
"name": "Var'Ques'X1",
"sort": {
"tag": "SortApp",
"name": "SortState",
"args": []
}
}
},
{
"tag": "Equals",
Expand Down
112 changes: 61 additions & 51 deletions ...esponse-one-ques-substitution.booster-dev → ...sponse-one-ques-substitution.kore-rpc-dev
View file
Original file line number Diff line number Diff line change
Expand Up @@ -86,63 +86,73 @@
},
"patterns": [
{
"tag": "Equals",
"argSort": {
"tag": "SortApp",
"name": "SortState",
"args": []
},
"tag": "And",
"sort": {
"tag": "SortApp",
"name": "SortGeneratedTopCell",
"args": []
},
"first": {
"tag": "EVar",
"name": "Var'Ques'X",
"sort": {
"tag": "SortApp",
"name": "SortState",
"args": []
}
},
"second": {
"tag": "App",
"name": "Lblb'Unds'QUESTIONMARK-VARS'Unds'State",
"sorts": [],
"args": []
}
},
{
"tag": "Equals",
"argSort": {
"tag": "SortApp",
"name": "SortState",
"args": []
},
"sort": {
"tag": "SortApp",
"name": "SortGeneratedTopCell",
"args": []
},
"first": {
"tag": "EVar",
"name": "Var'Ques'X0",
"sort": {
"tag": "SortApp",
"name": "SortState",
"args": []
}
},
"second": {
"tag": "EVar",
"name": "Var'Ques'X1",
"sort": {
"tag": "SortApp",
"name": "SortState",
"args": []
"patterns": [
{
"tag": "Equals",
"argSort": {
"tag": "SortApp",
"name": "SortState",
"args": []
},
"sort": {
"tag": "SortApp",
"name": "SortGeneratedTopCell",
"args": []
},
"first": {
"tag": "EVar",
"name": "Var'Ques'X",
"sort": {
"tag": "SortApp",
"name": "SortState",
"args": []
}
},
"second": {
"tag": "App",
"name": "Lblb'Unds'QUESTIONMARK-VARS'Unds'State",
"sorts": [],
"args": []
}
},
{
"tag": "Equals",
"argSort": {
"tag": "SortApp",
"name": "SortState",
"args": []
},
"sort": {
"tag": "SortApp",
"name": "SortGeneratedTopCell",
"args": []
},
"first": {
"tag": "EVar",
"name": "Var'Ques'X0",
"sort": {
"tag": "SortApp",
"name": "SortState",
"args": []
}
},
"second": {
"tag": "EVar",
"name": "Var'Ques'X1",
"sort": {
"tag": "SortApp",
"name": "SortState",
"args": []
}
}
}
}
]
},
{
"tag": "Equals",
Expand Down
0 ...onmark-vars/response-one-ques.booster-dev → ...-questionmark-vars/response-one-ques.json
View file
File renamed without changes.
121 changes: 0 additions & 121 deletions booster/test/rpc-integration/test-questionmark-vars/response-one-ques.kore-rpc-dev
View file

This file was deleted.

0 ...rs/response-two-ques-external.booster-dev → ...mark-vars/response-two-ques-external.json
View file
File renamed without changes.
Loading

0 comments on commit 8e622f9

Please sign in to comment.