Skip to content

Commit

Permalink
Update integration tests
Browse files Browse the repository at this point in the history
  • Loading branch information
@geo2a
geo2a committed Oct 25, 2024
1 parent 8ce4dbd commit d1b1f5e
Show file tree
Hide file tree
Showing 7 changed files with 16,068 additions and 677 deletions.
3,547 changes: 3,546 additions & 1 deletion booster/test/rpc-integration/test-3934-smt/response-004.json
View file

Large diffs are not rendered by default.

11,524 changes: 11,524 additions & 0 deletions booster/test/rpc-integration/test-3934-smt/response-008.booster-dev
View file

Large diffs are not rendered by default.

400 changes: 400 additions & 0 deletions booster/test/rpc-integration/test-a-to-f/response-branching.booster-dev
View file

Large diffs are not rendered by default.

78 changes: 63 additions & 15 deletions booster/test/rpc-integration/test-issue3764-vacuous-branch/response-branch-after-one.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -58,13 +58,69 @@
]
},
{
"tag": "EVar",
"name": "VarCONTINUATION",
"sort": {
"tag": "SortApp",
"name": "SortK",
"args": []
}
"tag": "App",
"name": "kseq",
"sorts": [],
"args": [
{
"tag": "App",
"name": "inj",
"sorts": [
{
"tag": "SortApp",
"name": "SortInternalOp",
"args": []
},
{
"tag": "SortApp",
"name": "SortKItem",
"args": []
}
],
"args": [
{
"tag": "App",
"name": "Lbl'Hash'pc'LSqBUndsRSqBUnds'EVM'Unds'InternalOp'Unds'OpCode",
"sorts": [],
"args": [
{
"tag": "App",
"name": "inj",
"sorts": [
{
"tag": "SortApp",
"name": "SortBinStackOp",
"args": []
},
{
"tag": "SortApp",
"name": "SortOpCode",
"args": []
}
],
"args": [
{
"tag": "App",
"name": "LblJUMPI'Unds'EVM'Unds'BinStackOp",
"sorts": [],
"args": []
}
]
}
]
}
]
},
{
"tag": "EVar",
"name": "VarCONTINUATION",
"sort": {
"tag": "SortApp",
"name": "SortK",
"args": []
}
}
]
}
]
}
Expand Down Expand Up @@ -8547,14 +8603,6 @@
"tag": "success",
"rule-id": "20bc9774d59030dcada92e997351315ed198a464546f5b36d67578cfd12938d1"
}
},
{
"tag": "rewrite",
"origin": "booster",
"result": {
"tag": "success",
"rule-id": "d40db55be13c107a708382df2ae9cea0d6305bbf5d6804de46250d7076a392e2"
}
}
]
}
Expand Down
78 changes: 63 additions & 15 deletions booster/test/rpc-integration/test-issue3764-vacuous-branch/response-branch-in-zero.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -58,13 +58,69 @@
]
},
{
"tag": "EVar",
"name": "VarCONTINUATION",
"sort": {
"tag": "SortApp",
"name": "SortK",
"args": []
}
"tag": "App",
"name": "kseq",
"sorts": [],
"args": [
{
"tag": "App",
"name": "inj",
"sorts": [
{
"tag": "SortApp",
"name": "SortInternalOp",
"args": []
},
{
"tag": "SortApp",
"name": "SortKItem",
"args": []
}
],
"args": [
{
"tag": "App",
"name": "Lbl'Hash'pc'LSqBUndsRSqBUnds'EVM'Unds'InternalOp'Unds'OpCode",
"sorts": [],
"args": [
{
"tag": "App",
"name": "inj",
"sorts": [
{
"tag": "SortApp",
"name": "SortBinStackOp",
"args": []
},
{
"tag": "SortApp",
"name": "SortOpCode",
"args": []
}
],
"args": [
{
"tag": "App",
"name": "LblJUMPI'Unds'EVM'Unds'BinStackOp",
"sorts": [],
"args": []
}
]
}
]
}
]
},
{
"tag": "EVar",
"name": "VarCONTINUATION",
"sort": {
"tag": "SortApp",
"name": "SortK",
"args": []
}
}
]
}
]
}
Expand Down Expand Up @@ -8539,14 +8595,6 @@
"tag": "success",
"rule-id": "20bc9774d59030dcada92e997351315ed198a464546f5b36d67578cfd12938d1"
}
},
{
"tag": "rewrite",
"origin": "booster",
"result": {
"tag": "success",
"rule-id": "d40db55be13c107a708382df2ae9cea0d6305bbf5d6804de46250d7076a392e2"
}
}
]
}
Expand Down
Loading

0 comments on commit d1b1f5e

Please sign in to comment.