-
Notifications
You must be signed in to change notification settings - Fork 195
Expand file tree
/
Copy pathSequentialOperationsTester.json
More file actions
274 lines (274 loc) · 15.8 KB
/
Copy pathSequentialOperationsTester.json
File metadata and controls
274 lines (274 loc) · 15.8 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
{
"_format": "hh-sol-artifact-1",
"contractName": "SequentialOperationsTester",
"sourceName": "solidity/SequentialOperationsTester.sol",
"abi": [
{
"anonymous": false,
"inputs": [
{
"indexed": false,
"internalType": "string",
"name": "label",
"type": "string"
},
{
"indexed": false,
"internalType": "uint256",
"name": "balance",
"type": "uint256"
}
],
"name": "BalanceChecked",
"type": "event"
},
{
"anonymous": false,
"inputs": [
{
"indexed": false,
"internalType": "string",
"name": "label",
"type": "string"
},
{
"indexed": false,
"internalType": "uint256",
"name": "count",
"type": "uint256"
}
],
"name": "EventCountChecked",
"type": "event"
},
{
"anonymous": false,
"inputs": [
{
"indexed": false,
"internalType": "string",
"name": "operation",
"type": "string"
},
{
"indexed": false,
"internalType": "bool",
"name": "success",
"type": "bool"
}
],
"name": "OperationCompleted",
"type": "event"
},
{
"inputs": [],
"name": "getContractBalance",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "address",
"name": "account",
"type": "address"
}
],
"name": "getNativeBalance",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "address",
"name": "token",
"type": "address"
},
{
"internalType": "address",
"name": "account",
"type": "address"
}
],
"name": "getTokenBalance",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "address",
"name": "token",
"type": "address"
},
{
"internalType": "address",
"name": "recipient",
"type": "address"
},
{
"internalType": "uint256",
"name": "amount",
"type": "uint256"
},
{
"internalType": "address",
"name": "validatorAddr",
"type": "address"
},
{
"internalType": "uint256",
"name": "delegateAmount",
"type": "uint256"
}
],
"name": "scenario1_transferDelegateTransfer",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [
{
"internalType": "address",
"name": "token",
"type": "address"
},
{
"internalType": "address",
"name": "recipient",
"type": "address"
},
{
"internalType": "uint256",
"name": "amount",
"type": "uint256"
},
{
"internalType": "address",
"name": "validatorAddr",
"type": "address"
},
{
"internalType": "uint256",
"name": "delegateAmount",
"type": "uint256"
}
],
"name": "scenario2_transferDelegateRevertTransfer",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [
{
"internalType": "address payable",
"name": "recipient",
"type": "address"
},
{
"internalType": "uint256",
"name": "amount",
"type": "uint256"
},
{
"internalType": "address",
"name": "validatorAddr",
"type": "address"
},
{
"internalType": "uint256",
"name": "delegateAmount",
"type": "uint256"
}
],
"name": "scenario3_nativeTransferDelegateNativeTransfer",
"outputs": [],
"stateMutability": "payable",
"type": "function"
},
{
"inputs": [
{
"internalType": "address payable",
"name": "recipient",
"type": "address"
},
{
"internalType": "uint256",
"name": "amount",
"type": "uint256"
},
{
"internalType": "address",
"name": "validatorAddr",
"type": "address"
},
{
"internalType": "uint256",
"name": "delegateAmount",
"type": "uint256"
}
],
"name": "scenario4_nativeTransferDelegateRevertNativeTransfer",
"outputs": [],
"stateMutability": "payable",
"type": "function"
},
{
"inputs": [
{
"internalType": "address payable",
"name": "recipient",
"type": "address"
},
{
"internalType": "uint256",
"name": "amount",
"type": "uint256"
}
],
"name": "testNativeTransfer",
"outputs": [
{
"internalType": "bool",
"name": "",
"type": "bool"
}
],
"stateMutability": "payable",
"type": "function"
},
{
"stateMutability": "payable",
"type": "receive"
}
],
"bytecode": "0x60808060405234610016576109e0908161001b8239f35b5f80fdfe6040608081526004908136101561001f575b5050361561001d575f80fd5b005b5f91823560e01c908163072766631461059f5781635850655a146104a15781636c12f5d3146102d05781636f9fb98a146102b5578163b1ad958414610192578163c489744b146100e257508063e1f756c3146100a75763efd8be620361001157346100a35760203660031901126100a35760209061009b610672565b319051908152f35b5080fd5b50806003193601126100a3578180806020946100c1610672565b602435906001600160a01b03165af1906100d9610881565b50519015158152f35b919050346101785780600319360112610178576100fd610672565b916024356001600160a01b038181169182900361018e57602092602491855196879485936370a0823160e01b8552840152165afa918215610184578392610149575b6020838351908152f35b9091506020813d821161017c575b816101646020938361070a565b81010312610178576020925051905f61013f565b8280fd5b3d9150610157565b81513d85823e3d90fd5b8580fd5b9190508260206101a13661068c565b91936001600160a01b0390931692906101c98680808089895af16101c3610881565b506108c0565b8651975f8051602061098b83398151915289806101e6839c61090c565b0390a16102068851948593849363c26f3acf60e01b8552309085016107c7565b0381876108005af180156102ab57938093819382936102459761027d575b5088885180610232816107e9565b0390a15af161023f610881565b5061093e565b5160408082526010908201526f3730ba34bb32afba3930b739b332b91960811b60608201526001602082015280608081015b0390a180f35b61029d9060203d81116102a4575b610295818361070a565b810190610740565b505f610224565b503d61028b565b85513d86823e3d90fd5b5050346100a357816003193601126100a35751478152602090f35b905034610178576102e0366106c4565b865163a9059cbb60e01b8082526001600160a01b038681168984019081526020808201889052949a959995989497959490911693928b9291889082908190604001038186895af1908115610497579780999a9b61034a61038493839a9b879161047a575b50610758565b8b519c5f8051602061098b8339815191528e819f6103678161079c565b0390a18c5163c26f3acf60e01b81529384928392308a85016107c7565b0381866108005af1908161045d575b5061044857898951806103a581610813565b0390a15b6103d38951978896879586948552840160209093929193604081019460018060a01b031681520152565b03925af191821561043e57906103f292918692610421575b505061083c565b516040808252600990820152683a3930b739b332b91960b91b6060820152600160208201528060808101610277565b6104379250803d106102a457610295818361070a565b5f806103eb565b83513d87823e3d90fd5b89895180610455816107e9565b0390a16103a9565b61047390883d8a116102a457610295818361070a565b505f610393565b6104919150843d86116102a457610295818361070a565b5f610344565b89513d85823e3d90fd5b905034610178576104b1366106c4565b865163a9059cbb60e01b8082526001600160a01b038681168984019081526020808201889052949a959995989497959490911693928b9291889082908190604001038186895af1908115610497579a610515899261054f9d869161047a5750610758565b89519a5f8051602061098b8339815191528c80610532839f61079c565b0390a18a5163c26f3acf60e01b81529c8d928392308985016107c7565b0381856108005af1998a15610595578798999a979697610578575b50898951806103a5816107e9565b61058e90873d89116102a457610295818361070a565b505f61056a565b88513d84823e3d90fd5b9190506102458380808060206105b43661068c565b91936001600160a01b0390931692906105d68680808089895af16101c3610881565b8a519b5f8051602061098b8339815191528d80829f6105f49061090c565b0390a16106148c51948593849363c26f3acf60e01b8552309085016107c7565b0381876108005af19081610654575b5061063f578888518061023281610813565b5af161023f610881565b8888518061064c816107e9565b0390a1610635565b61066b9060203d81116102a457610295818361070a565b505f610623565b600435906001600160a01b038216820361068857565b5f80fd5b6080906003190112610688576001600160a01b0360043581811681036106885791602435916044359081168103610688579060643590565b60a0906003190112610688576001600160a01b03906004358281168103610688579160243581811681036106885791604435916064359081168103610688579060843590565b90601f8019910116810190811067ffffffffffffffff82111761072c57604052565b634e487b7160e01b5f52604160045260245ffd5b90816020910312610688575180151581036106885790565b1561075f57565b60405162461bcd60e51b8152602060048201526015602482015274119a5c9cdd081d1c985b9cd9995c8819985a5b1959605a1b6044820152606490fd5b906040825260096040830152687472616e736665723160b81b60608301526001602060808401930152565b6001600160a01b03918216815291166020820152604081019190915260600190565b9060408252600860408301526764656c656761746560c01b60608301526001602060808401930152565b9060408252600860408301526764656c656761746560c01b60608301525f602060808401930152565b1561084357565b60405162461bcd60e51b815260206004820152601660248201527514d958dbdb99081d1c985b9cd9995c8819985a5b195960521b6044820152606490fd5b3d156108bb573d9067ffffffffffffffff821161072c57604051916108b0601f8201601f19166020018461070a565b82523d5f602084013e565b606090565b156108c757565b60405162461bcd60e51b815260206004820152601c60248201527f4669727374206e6174697665207472616e73666572206661696c6564000000006044820152606490fd5b9060408252601060408301526f6e61746976655f7472616e736665723160801b60608301526001602060808401930152565b1561094557565b60405162461bcd60e51b815260206004820152601d60248201527f5365636f6e64206e6174697665207472616e73666572206661696c65640000006044820152606490fdfe9f4d25774676d497fe3d8c1e43709b68b186fad01b05798c1410a178ff4ed7d0a2646970667358221220807da6722618ea97b2a31c070514fa8f77e7f119bf0d291033e2a1e9fb27c38964736f6c63430008140033",
"deployedBytecode": "0x6040608081526004908136101561001f575b5050361561001d575f80fd5b005b5f91823560e01c908163072766631461059f5781635850655a146104a15781636c12f5d3146102d05781636f9fb98a146102b5578163b1ad958414610192578163c489744b146100e257508063e1f756c3146100a75763efd8be620361001157346100a35760203660031901126100a35760209061009b610672565b319051908152f35b5080fd5b50806003193601126100a3578180806020946100c1610672565b602435906001600160a01b03165af1906100d9610881565b50519015158152f35b919050346101785780600319360112610178576100fd610672565b916024356001600160a01b038181169182900361018e57602092602491855196879485936370a0823160e01b8552840152165afa918215610184578392610149575b6020838351908152f35b9091506020813d821161017c575b816101646020938361070a565b81010312610178576020925051905f61013f565b8280fd5b3d9150610157565b81513d85823e3d90fd5b8580fd5b9190508260206101a13661068c565b91936001600160a01b0390931692906101c98680808089895af16101c3610881565b506108c0565b8651975f8051602061098b83398151915289806101e6839c61090c565b0390a16102068851948593849363c26f3acf60e01b8552309085016107c7565b0381876108005af180156102ab57938093819382936102459761027d575b5088885180610232816107e9565b0390a15af161023f610881565b5061093e565b5160408082526010908201526f3730ba34bb32afba3930b739b332b91960811b60608201526001602082015280608081015b0390a180f35b61029d9060203d81116102a4575b610295818361070a565b810190610740565b505f610224565b503d61028b565b85513d86823e3d90fd5b5050346100a357816003193601126100a35751478152602090f35b905034610178576102e0366106c4565b865163a9059cbb60e01b8082526001600160a01b038681168984019081526020808201889052949a959995989497959490911693928b9291889082908190604001038186895af1908115610497579780999a9b61034a61038493839a9b879161047a575b50610758565b8b519c5f8051602061098b8339815191528e819f6103678161079c565b0390a18c5163c26f3acf60e01b81529384928392308a85016107c7565b0381866108005af1908161045d575b5061044857898951806103a581610813565b0390a15b6103d38951978896879586948552840160209093929193604081019460018060a01b031681520152565b03925af191821561043e57906103f292918692610421575b505061083c565b516040808252600990820152683a3930b739b332b91960b91b6060820152600160208201528060808101610277565b6104379250803d106102a457610295818361070a565b5f806103eb565b83513d87823e3d90fd5b89895180610455816107e9565b0390a16103a9565b61047390883d8a116102a457610295818361070a565b505f610393565b6104919150843d86116102a457610295818361070a565b5f610344565b89513d85823e3d90fd5b905034610178576104b1366106c4565b865163a9059cbb60e01b8082526001600160a01b038681168984019081526020808201889052949a959995989497959490911693928b9291889082908190604001038186895af1908115610497579a610515899261054f9d869161047a5750610758565b89519a5f8051602061098b8339815191528c80610532839f61079c565b0390a18a5163c26f3acf60e01b81529c8d928392308985016107c7565b0381856108005af1998a15610595578798999a979697610578575b50898951806103a5816107e9565b61058e90873d89116102a457610295818361070a565b505f61056a565b88513d84823e3d90fd5b9190506102458380808060206105b43661068c565b91936001600160a01b0390931692906105d68680808089895af16101c3610881565b8a519b5f8051602061098b8339815191528d80829f6105f49061090c565b0390a16106148c51948593849363c26f3acf60e01b8552309085016107c7565b0381876108005af19081610654575b5061063f578888518061023281610813565b5af161023f610881565b8888518061064c816107e9565b0390a1610635565b61066b9060203d81116102a457610295818361070a565b505f610623565b600435906001600160a01b038216820361068857565b5f80fd5b6080906003190112610688576001600160a01b0360043581811681036106885791602435916044359081168103610688579060643590565b60a0906003190112610688576001600160a01b03906004358281168103610688579160243581811681036106885791604435916064359081168103610688579060843590565b90601f8019910116810190811067ffffffffffffffff82111761072c57604052565b634e487b7160e01b5f52604160045260245ffd5b90816020910312610688575180151581036106885790565b1561075f57565b60405162461bcd60e51b8152602060048201526015602482015274119a5c9cdd081d1c985b9cd9995c8819985a5b1959605a1b6044820152606490fd5b906040825260096040830152687472616e736665723160b81b60608301526001602060808401930152565b6001600160a01b03918216815291166020820152604081019190915260600190565b9060408252600860408301526764656c656761746560c01b60608301526001602060808401930152565b9060408252600860408301526764656c656761746560c01b60608301525f602060808401930152565b1561084357565b60405162461bcd60e51b815260206004820152601660248201527514d958dbdb99081d1c985b9cd9995c8819985a5b195960521b6044820152606490fd5b3d156108bb573d9067ffffffffffffffff821161072c57604051916108b0601f8201601f19166020018461070a565b82523d5f602084013e565b606090565b156108c757565b60405162461bcd60e51b815260206004820152601c60248201527f4669727374206e6174697665207472616e73666572206661696c6564000000006044820152606490fd5b9060408252601060408301526f6e61746976655f7472616e736665723160801b60608301526001602060808401930152565b1561094557565b60405162461bcd60e51b815260206004820152601d60248201527f5365636f6e64206e6174697665207472616e73666572206661696c65640000006044820152606490fdfe9f4d25774676d497fe3d8c1e43709b68b186fad01b05798c1410a178ff4ed7d0a2646970667358221220807da6722618ea97b2a31c070514fa8f77e7f119bf0d291033e2a1e9fb27c38964736f6c63430008140033",
"linkReferences": {},
"deployedLinkReferences": {}
}