aboutsummaryrefslogtreecommitdiffstats
path: root/StateTests/Homestead/stBoundsTest.json
diff options
context:
space:
mode:
Diffstat (limited to 'StateTests/Homestead/stBoundsTest.json')
-rw-r--r--StateTests/Homestead/stBoundsTest.json959
1 files changed, 860 insertions, 99 deletions
diff --git a/StateTests/Homestead/stBoundsTest.json b/StateTests/Homestead/stBoundsTest.json
index d0fe177d2..10768c481 100644
--- a/StateTests/Homestead/stBoundsTest.json
+++ b/StateTests/Homestead/stBoundsTest.json
@@ -65,7 +65,7 @@
"env" : {
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
"currentDifficulty" : "0x02b8feb0",
- "currentGasLimit" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "currentGasLimit" : "0x7fffffffffffffff",
"currentNumber" : "0x118c30",
"currentTimestamp" : "0x01",
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
@@ -76,10 +76,10 @@
"post" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x01",
- "code" : "0x600060006000600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff250630fffffff6000630fffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff25063ffffffff600063ffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff25067ffffffffffffffff600067ffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff2506fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff2507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff2506000630fffffff6000630fffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff250600063ffffffff600063ffffffff60007310000000000000000000000000000000000000016d0fffffffffffffffffffffffff",
+ "code" : "0x600060006000600060007310000000000000000000000000000000000000016707fffffffffffffff250630fffffff6000630fffffff600060007310000000000000000000000000000000000000016707fffffffffffffff25063ffffffff600063ffffffff600060007310000000000000000000000000000000000000016707fffffffffffffff2506000630fffffff6000630fffffff60007310000000000000000000000000000000000000016707fffffffffffffff250600063ffffffff600063ffffffff60007310000000000000000000000000000000000000016707fffffffffffffff250600067ffffffffffffffff600067ffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff25060006fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff25060007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff2",
"nonce" : "0x00",
"storage" : {
- "0x00" : "0x02"
+ "0x00" : "0x08"
}
},
"1000000000000000000000000000000000000001" : {
@@ -90,25 +90,25 @@
}
},
"2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
- "balance" : "0x100000000000000020001800b4e6",
+ "balance" : "0x200018012cc6",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
- "balance" : "0xffffffffffffffffffffffffffffffffffffefffffffffffffffdfffe7ff4b18",
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffdfffe7fed338",
"code" : "0x",
"nonce" : "0x01",
"storage" : {
}
}
},
- "postStateRoot" : "5a47b9aa4d103dee45801ef29c0304707cdebc8741b142b94399207d042d317f",
+ "postStateRoot" : "c5c4d16f75276c9631402fbca3eb565ea19e42f98c80c2f562e92e5fc0175136",
"pre" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x00",
- "code" : "0x600060006000600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff250630fffffff6000630fffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff25063ffffffff600063ffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff25067ffffffffffffffff600067ffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff2506fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff2507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff2506000630fffffff6000630fffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff250600063ffffffff600063ffffffff60007310000000000000000000000000000000000000016d0fffffffffffffffffffffffff",
+ "code" : "0x600060006000600060007310000000000000000000000000000000000000016707fffffffffffffff250630fffffff6000630fffffff600060007310000000000000000000000000000000000000016707fffffffffffffff25063ffffffff600063ffffffff600060007310000000000000000000000000000000000000016707fffffffffffffff2506000630fffffff6000630fffffff60007310000000000000000000000000000000000000016707fffffffffffffff250600063ffffffff600063ffffffff60007310000000000000000000000000000000000000016707fffffffffffffff250600067ffffffffffffffff600067ffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff25060006fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff25060007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff2",
"nonce" : "0x00",
"storage" : {
}
@@ -130,7 +130,7 @@
},
"transaction" : {
"data" : "",
- "gasLimit" : "0xffffffffffffffffffffffffffff",
+ "gasLimit" : "0x7fffffffffffffff",
"gasPrice" : "0x01",
"nonce" : "0x00",
"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
@@ -138,11 +138,11 @@
"value" : "0x01"
}
},
- "CALL_Bounds" : {
+ "CALLCODE_Bounds2" : {
"env" : {
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
"currentDifficulty" : "0x02b8feb0",
- "currentGasLimit" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "currentGasLimit" : "0x7fffffffffffffff",
"currentNumber" : "0x118c30",
"currentTimestamp" : "0x01",
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
@@ -153,9 +153,10 @@
"post" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x01",
- "code" : "0x600060006000600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff150630fffffff6000630fffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff15063ffffffff600063ffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff15067ffffffffffffffff600067ffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff1506fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff1507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff1506000630fffffff6000630fffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff150600063ffffffff600063ffffffff60007310000000000000000000000000000000000000016d0fffffffffffffffffffffffff",
+ "code" : "0x630fffffff630fffffff630fffffff630fffffff60007310000000000000000000000000000000000000016707fffffffffffffff2",
"nonce" : "0x00",
"storage" : {
+ "0x00" : "0x01"
}
},
"1000000000000000000000000000000000000001" : {
@@ -163,29 +164,28 @@
"code" : "0x600054600101600055",
"nonce" : "0x00",
"storage" : {
- "0x00" : "0x02"
}
},
"2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
- "balance" : "0x100000000000000020001800b4e6",
+ "balance" : "0x800300a0a3",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
- "balance" : "0xffffffffffffffffffffffffffffffffffffefffffffffffffffdfffe7ff4b18",
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffff7ffcff5f5b",
"code" : "0x",
"nonce" : "0x01",
"storage" : {
}
}
},
- "postStateRoot" : "95193f1004891d1148d074ee24eacf8b7c951bc1fb88c957711bba0e5030590c",
+ "postStateRoot" : "1c3754297e406ca0ea0d90609129d0ad24c32462cacdef7fccd4971e0c814aa5",
"pre" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x00",
- "code" : "0x600060006000600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff150630fffffff6000630fffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff15063ffffffff600063ffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff15067ffffffffffffffff600067ffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff1506fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff1507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff1506000630fffffff6000630fffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff150600063ffffffff600063ffffffff60007310000000000000000000000000000000000000016d0fffffffffffffffffffffffff",
+ "code" : "0x630fffffff630fffffff630fffffff630fffffff60007310000000000000000000000000000000000000016707fffffffffffffff2",
"nonce" : "0x00",
"storage" : {
}
@@ -207,7 +207,7 @@
},
"transaction" : {
"data" : "",
- "gasLimit" : "0xffffffffffffffffffffffffffff",
+ "gasLimit" : "0x7fffffffffffffff",
"gasPrice" : "0x01",
"nonce" : "0x00",
"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
@@ -215,11 +215,11 @@
"value" : "0x01"
}
},
- "CREATE_Bounds" : {
+ "CALLCODE_Bounds3" : {
"env" : {
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
"currentDifficulty" : "0x02b8feb0",
- "currentGasLimit" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "currentGasLimit" : "0x7fffffffffffffff",
"currentNumber" : "0x118c30",
"currentTimestamp" : "0x01",
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
@@ -229,53 +229,496 @@
"out" : "0x",
"post" : {
"1000000000000000000000000000000000000000" : {
- "balance" : "0x62",
- "code" : "0x7f6001600155601080600c6000396000f3006000355415600957005b602035600060005260356020536055602153600060006001f050630fffffff60006001f05063ffffffff60006001f05067ffffffffffffffff60006001f0506fffffffffffffffffffffffffffffffff60006001f0507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60006001f0506000630fffffff6001f050600063ffffffff6001f050600067ffffffffffffffff6001f05060006fffffffffffffffffffffffffffffffff6001f05060007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6001f050630fffffff630fffffff6001f05063ffffffff63ffffffff6001f05067ffffffffffffffff67ffffffffffffffff6001f0506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6001f0507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6001f0",
- "nonce" : "0x02",
+ "balance" : "0x01",
+ "code" : "0x63ffffffff63ffffffff63ffffffff63ffffffff60007310000000000000000000000000000000000000016707fffffffffffffff2",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x0800800030005244",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xfffffffffffffffffffffffffffffffffffffffffffffffff7ff7fffcfffadba",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "a840c460fc7a12d04586d37a7fafe15c8f56c139afb8c66947daf37a06df5ab0",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x63ffffffff63ffffffff63ffffffff63ffffffff60007310000000000000000000000000000000000000016707fffffffffffffff2",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7fffffffffffffff",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "CALLCODE_Bounds4" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x67ffffffffffffffff600067ffffffffffffffff600060007310000000000000000000000000000000000000016707fffffffffffffff2506fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016707fffffffffffffff2507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016707fffffffffffffff25067ffffffffffffffff67ffffffffffffffff67ffffffffffffffff67ffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff25067ffffffffffffffff67ffffffffffffffff67ffffffffffffffff67ffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff2507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007310000000",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x7fffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffff8000000000000000",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "bb6a84b7ec1c0bb184f21090a7890e0ee8f4f3f15e06cd6cd0e380beff9cf445",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x67ffffffffffffffff600067ffffffffffffffff600060007310000000000000000000000000000000000000016707fffffffffffffff2506fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016707fffffffffffffff2507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016707fffffffffffffff25067ffffffffffffffff67ffffffffffffffff67ffffffffffffffff67ffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff25067ffffffffffffffff67ffffffffffffffff67ffffffffffffffff67ffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff2507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007310000000",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
+ "nonce" : "0x00",
"storage" : {
}
},
- "13136008b64ff592819b2fa6d43f2835c452020e" : {
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7fffffffffffffff",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "CALL_Bounds" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
"balance" : "0x01",
+ "code" : "0x600060006000600060007310000000000000000000000000000000000000016707fffffffffffffff150630fffffff6000630fffffff600060007310000000000000000000000000000000000000016707fffffffffffffff15063ffffffff600063ffffffff600060007310000000000000000000000000000000000000016707fffffffffffffff1506000630fffffff6000630fffffff60007310000000000000000000000000000000000000016707fffffffffffffff150600063ffffffff600063ffffffff60007310000000000000000000000000000000000000016707fffffffffffffff150600067ffffffffffffffff600067ffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff15060006fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff15060007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff1",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
+ "nonce" : "0x00",
+ "storage" : {
+ "0x00" : "0x08"
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x200018012cc6",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffdfffe7fed338",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "af616dfe953f53f5a7c81717aecdc5f781c4b743a075e2a2792c4e11f41212b7",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x600060006000600060007310000000000000000000000000000000000000016707fffffffffffffff150630fffffff6000630fffffff600060007310000000000000000000000000000000000000016707fffffffffffffff15063ffffffff600063ffffffff600060007310000000000000000000000000000000000000016707fffffffffffffff1506000630fffffff6000630fffffff60007310000000000000000000000000000000000000016707fffffffffffffff150600063ffffffff600063ffffffff60007310000000000000000000000000000000000000016707fffffffffffffff150600067ffffffffffffffff600067ffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff15060006fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff15060007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff1",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffff",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
}
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7fffffffffffffff",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "CALL_Bounds2" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x01",
+ "code" : "0x630fffffff630fffffff630fffffff630fffffff60007310000000000000000000000000000000000000016707fffffffffffffff1",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
+ "nonce" : "0x00",
+ "storage" : {
+ "0x00" : "0x01"
+ }
},
"2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
- "balance" : "0x200018022400",
+ "balance" : "0x800300a0a3",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
}
},
- "7c5a2c91b22d7a9226523d4ba717db6afb741ebd" : {
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffff7ffcff5f5b",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "17383ca8818ef550666e1c6ac30fa91a236a5641d28c817def2a4dabc19a7a99",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x630fffffff630fffffff630fffffff630fffffff60007310000000000000000000000000000000000000016707fffffffffffffff1",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7fffffffffffffff",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "CALL_Bounds2a" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
"balance" : "0x01",
- "code" : "0x396000f3006000355415600957005b60",
+ "code" : "0x63ffffffff63ffffffff63ffffffff63ffffffff60007310000000000000000000000000000000000000016707fffffffffffffff1",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x0800800030005244",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xfffffffffffffffffffffffffffffffffffffff7ff7fffcfffadba",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "72e90662e57ca40f20585981de2ae24c1abbd2cc4f24fdf6a3252d601d310997",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x63ffffffff63ffffffff63ffffffff63ffffffff60007310000000000000000000000000000000000000016707fffffffffffffff1",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
"nonce" : "0x00",
"storage" : {
- "0x01" : "0x01"
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
- "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffdfffe7fddbff",
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7fffffffffffffff",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "CALL_Bounds3" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x67ffffffffffffffff600067ffffffffffffffff600060007310000000000000000000000000000000000000016707fffffffffffffff1506fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016707fffffffffffffff1507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016707fffffffffffffff15063ffffffff63ffffffff63ffffffff63ffffffff60007310000000000000000000000000000000000000016707fffffffffffffff15067ffffffffffffffff67ffffffffffffffff67ffffffffffffffff67ffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff1506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff1507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffff",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x7fffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffff8000000000000000",
"code" : "0x",
"nonce" : "0x01",
"storage" : {
}
}
},
- "postStateRoot" : "6096418311870b370bfaf11356cb924e88f3f5afbfe6c0adee30863089629491",
+ "postStateRoot" : "ffa6b268e30bda6a7aa26f0f6ca96c2263df16857b7a9e99e319dd4af10866d3",
"pre" : {
"1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x67ffffffffffffffff600067ffffffffffffffff600060007310000000000000000000000000000000000000016707fffffffffffffff1506fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016707fffffffffffffff1507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600060007310000000000000000000000000000000000000016707fffffffffffffff15063ffffffff63ffffffff63ffffffff63ffffffff60007310000000000000000000000000000000000000016707fffffffffffffff15067ffffffffffffffff67ffffffffffffffff67ffffffffffffffff67ffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff1506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff1507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffff",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7fffffffffffffff",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "CREATE_Bounds3" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
"balance" : "0x64",
- "code" : "0x7f6001600155601080600c6000396000f3006000355415600957005b602035600060005260356020536055602153600060006001f050630fffffff60006001f05063ffffffff60006001f05067ffffffffffffffff60006001f0506fffffffffffffffffffffffffffffffff60006001f0507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60006001f0506000630fffffff6001f050600063ffffffff6001f050600067ffffffffffffffff6001f05060006fffffffffffffffffffffffffffffffff6001f05060007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6001f050630fffffff630fffffff6001f05063ffffffff63ffffffff6001f05067ffffffffffffffff67ffffffffffffffff6001f0506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6001f0507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6001f0",
+ "code" : "0x7f6001600155601080600c6000396000f3006000355415600957005b60203560006000526035602053605560215367ffffffffffffffff60006001f0506fffffffffffffffffffffffffffffffff60006001f0507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60006001f0506000630fffffff6001f050600063ffffffff6001f050600067ffffffffffffffff6001f05060006fffffffffffffffffffffffffffffffff6001f05060007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6001f050630fffffff630fffffff6001f05063ffffffff63ffffffff6001f05067ffffffffffffffff67ffffffffffffffff6001f0506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6001f0507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6001f0",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x7fffffffffffffff",
+ "code" : "0x",
"nonce" : "0x00",
"storage" : {
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
- "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "balance" : "0x0fffffffffffffffffffffffffffffffff8000000000000000",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "164ddb6542196f7f7e2ce0fa8494451ede6e09bcea4980b8daf481d0e329e13f",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x64",
+ "code" : "0x7f6001600155601080600c6000396000f3006000355415600957005b60203560006000526035602053605560215367ffffffffffffffff60006001f0506fffffffffffffffffffffffffffffffff60006001f0507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60006001f0506000630fffffff6001f050600063ffffffff6001f050600067ffffffffffffffff6001f05060006fffffffffffffffffffffffffffffffff6001f05060007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6001f050630fffffff630fffffff6001f05063ffffffff63ffffffff6001f05067ffffffffffffffff67ffffffffffffffff6001f0506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6001f0507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6001f0",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x0fffffffffffffffffffffffffffffffffffffffffffffffff",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
@@ -284,7 +727,7 @@
},
"transaction" : {
"data" : "",
- "gasLimit" : "0xffffffffffffffffffffffffffff",
+ "gasLimit" : "0x7fffffffffffffff",
"gasPrice" : "0x01",
"nonce" : "0x00",
"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
@@ -296,7 +739,7 @@
"env" : {
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
"currentDifficulty" : "0x02b8feb0",
- "currentGasLimit" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "currentGasLimit" : "0x7fffffffffffffff",
"currentNumber" : "0x118c30",
"currentTimestamp" : "0x01",
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
@@ -307,10 +750,10 @@
"post" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x01",
- "code" : "0x60006000600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff450630fffffff6000630fffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff45063ffffffff600063ffffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff45067ffffffffffffffff600067ffffffffffffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff4506fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff4507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff4506000630fffffff6000630fffffff7310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff450600063ffffffff600063ffffffff7310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff450600067ffffffffffffffff6000",
+ "code" : "0x60006000600060007310000000000000000000000000000000000000016707fffffffffffffff450630fffffff6000630fffffff60007310000000000000000000000000000000000000016707fffffffffffffff45063ffffffff600063ffffffff60007310000000000000000000000000000000000000016707fffffffffffffff4506000630fffffff6000630fffffff7310000000000000000000000000000000000000016707fffffffffffffff450600063ffffffff600063ffffffff7310000000000000000000000000000000000000016707fffffffffffffff450600067ffffffffffffffff600067ffffffffffffffff7310000000000000000000000000000000000000016707fffffffffffffff45060006fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff7310000000000000000000000000000000000000016707fffffffffffffff45060007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7310000000000000000000000000000000000000016707fffffffffffffff450630fffffff630fffffff630fffffff630fffffff7310000000000000000000000000000000000000016707fffffffffffffff4",
"nonce" : "0x00",
"storage" : {
- "0x00" : "0x02"
+ "0x00" : "0x09"
}
},
"1000000000000000000000000000000000000001" : {
@@ -321,25 +764,25 @@
}
},
"2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
- "balance" : "0x100000000000000020001800b4dd",
+ "balance" : "0x2000180140b0",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
- "balance" : "0xffffffffffffffffffffffffffffffffffffefffffffffffffffdfffe7ff4b21",
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffdfffe7febf4e",
"code" : "0x",
"nonce" : "0x01",
"storage" : {
}
}
},
- "postStateRoot" : "c712744b5bbe9c749d84e511fd9cc9a332433ac22a9cfe4c096c2ccab89ff356",
+ "postStateRoot" : "e17391fbf96bebaf6bfce64c9362f701a6430c5ef2c8992a56acd4bfbbec16f1",
"pre" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x00",
- "code" : "0x60006000600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff450630fffffff6000630fffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff45063ffffffff600063ffffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff45067ffffffffffffffff600067ffffffffffffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff4506fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff4507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff4506000630fffffff6000630fffffff7310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff450600063ffffffff600063ffffffff7310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff450600067ffffffffffffffff6000",
+ "code" : "0x60006000600060007310000000000000000000000000000000000000016707fffffffffffffff450630fffffff6000630fffffff60007310000000000000000000000000000000000000016707fffffffffffffff45063ffffffff600063ffffffff60007310000000000000000000000000000000000000016707fffffffffffffff4506000630fffffff6000630fffffff7310000000000000000000000000000000000000016707fffffffffffffff450600063ffffffff600063ffffffff7310000000000000000000000000000000000000016707fffffffffffffff450600067ffffffffffffffff600067ffffffffffffffff7310000000000000000000000000000000000000016707fffffffffffffff45060006fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff7310000000000000000000000000000000000000016707fffffffffffffff45060007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7310000000000000000000000000000000000000016707fffffffffffffff450630fffffff630fffffff630fffffff630fffffff7310000000000000000000000000000000000000016707fffffffffffffff4",
"nonce" : "0x00",
"storage" : {
}
@@ -361,7 +804,7 @@
},
"transaction" : {
"data" : "",
- "gasLimit" : "0xffffffffffffffffffffffffffff",
+ "gasLimit" : "0x7fffffffffffffff",
"gasPrice" : "0x01",
"nonce" : "0x00",
"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
@@ -369,7 +812,7 @@
"value" : "0x01"
}
},
- "DUP_Bounds" : {
+ "DELEGATECALL_Bounds2" : {
"env" : {
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
"currentDifficulty" : "0x02b8feb0",
@@ -384,46 +827,136 @@
"post" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x01",
- "code" : "0x600080505063ffffffff80505067ffffffffffffffff8050506fffffffffffffffffffffffffffffffff8050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff805050600060008150505063ffffffff63ffffffff8150505067ffffffffffffffff67ffffffffffffffff815050506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff815050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81505050600060006000825050505063ffffffff63ffffffff63ffffffff825050505067ffffffffffffffff67ffffffffffffffff67ffffffffffffffff82505050506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff82505050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8250505050600060006000600083505050505063ffffffff63ffffffff63ffffffff63ffffffff83505050505067ffffffffffffffff67ffffffffff",
+ "code" : "0x63ffffffff63ffffffff63ffffffff63ffffffff7310000000000000000000000000000000000000016707fffffffffffffff4",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
"nonce" : "0x00",
"storage" : {
}
},
"2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
- "balance" : "0x5321",
+ "balance" : "0x0800800030005241",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
- "balance" : "0x7fffffffffffacdd",
+ "balance" : "0xfffffffffffffffffffffffffffffffffffffffffffffffff7ff7fffcfffadbd",
"code" : "0x",
"nonce" : "0x01",
"storage" : {
}
}
},
- "postStateRoot" : "3517f5387debc5089461049cb26d946ba072bd2b1dd00c2c45248a3b32686855",
+ "postStateRoot" : "470543b8967b7d0e69bb716cc9ea911f80f6ca8ca90525dfbbc4ddf0700b787c",
"pre" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x00",
- "code" : "0x600080505063ffffffff80505067ffffffffffffffff8050506fffffffffffffffffffffffffffffffff8050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff805050600060008150505063ffffffff63ffffffff8150505067ffffffffffffffff67ffffffffffffffff815050506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff815050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81505050600060006000825050505063ffffffff63ffffffff63ffffffff825050505067ffffffffffffffff67ffffffffffffffff67ffffffffffffffff82505050506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff82505050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8250505050600060006000600083505050505063ffffffff63ffffffff63ffffffff63ffffffff83505050505067ffffffffffffffff67ffffffffff",
+ "code" : "0x63ffffffff63ffffffff63ffffffff63ffffffff7310000000000000000000000000000000000000016707fffffffffffffff4",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
"nonce" : "0x00",
"storage" : {
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7fffffffffffffff",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "DELEGATECALL_Bounds3" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x67ffffffffffffffff600067ffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff4506fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff4507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff45067ffffffffffffffff67ffffffffffffffff67ffffffffffffffff67ffffffffffffffff7310000000000000000000000000000000000000016707fffffffffffffff4506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff7310000000000000000000000000000000000000016707fffffffffffffff4507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffff",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
"balance" : "0x7fffffffffffffff",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
}
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffff8000000000000000",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "71ebbacc9f17fb53cf8a84e65eb5743bfb8a1819788f067e22926543fe57f999",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x67ffffffffffffffff600067ffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff4506fffffffffffffffffffffffffffffffff60006fffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff4507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60007310000000000000000000000000000000000000016707fffffffffffffff45067ffffffffffffffff67ffffffffffffffff67ffffffffffffffff67ffffffffffffffff7310000000000000000000000000000000000000016707fffffffffffffff4506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff7310000000000000000000000000000000000000016707fffffffffffffff4507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffff",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "1000000000000000000000000000000000000001" : {
+ "balance" : "0x00",
+ "code" : "0x600054600101600055",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
}
},
"transaction" : {
"data" : "",
- "gasLimit" : "0x7ffffffffffffff0",
+ "gasLimit" : "0x7fffffffffffffff",
"gasPrice" : "0x01",
"nonce" : "0x00",
"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
@@ -431,7 +964,7 @@
"value" : "0x01"
}
},
- "JUMP1_Bounds" : {
+ "DUP_Bounds" : {
"env" : {
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
"currentDifficulty" : "0x02b8feb0",
@@ -446,31 +979,31 @@
"post" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x01",
- "code" : "0x6080506080506080506080",
+ "code" : "0x600080505063ffffffff80505067ffffffffffffffff8050506fffffffffffffffffffffffffffffffff8050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff805050600060008150505063ffffffff63ffffffff8150505067ffffffffffffffff67ffffffffffffffff815050506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff815050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81505050600060006000825050505063ffffffff63ffffffff63ffffffff825050505067ffffffffffffffff67ffffffffffffffff67ffffffffffffffff82505050506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff82505050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8250505050600060006000600083505050505063ffffffff63ffffffff63ffffffff63ffffffff83505050505067ffffffffffffffff67ffffffffff",
"nonce" : "0x00",
"storage" : {
}
},
"2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
- "balance" : "0x521a",
+ "balance" : "0x5321",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
- "balance" : "0x7fffffffffffade4",
+ "balance" : "0x7fffffffffffacdd",
"code" : "0x",
"nonce" : "0x01",
"storage" : {
}
}
},
- "postStateRoot" : "e7923ad60c708a05faa20894bc8eb815e7267b06e19ac0ada8a4dad3ff84851d",
+ "postStateRoot" : "3517f5387debc5089461049cb26d946ba072bd2b1dd00c2c45248a3b32686855",
"pre" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x00",
- "code" : "0x6080506080506080506080",
+ "code" : "0x600080505063ffffffff80505067ffffffffffffffff8050506fffffffffffffffffffffffffffffffff8050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff805050600060008150505063ffffffff63ffffffff8150505067ffffffffffffffff67ffffffffffffffff815050506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff815050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81505050600060006000825050505063ffffffff63ffffffff63ffffffff825050505067ffffffffffffffff67ffffffffffffffff67ffffffffffffffff82505050506fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff6fffffffffffffffffffffffffffffffff82505050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8250505050600060006000600083505050505063ffffffff63ffffffff63ffffffff63ffffffff83505050505067ffffffffffffffff67ffffffffff",
"nonce" : "0x00",
"storage" : {
}
@@ -493,7 +1026,7 @@
"value" : "0x01"
}
},
- "JUMP_Bounds" : {
+ "JUMPI_Bounds" : {
"env" : {
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
"currentDifficulty" : "0x02b8feb0",
@@ -508,27 +1041,75 @@
"post" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x00",
- "code" : "0x600056",
+ "code" : "0x600163ffffffff57600167ffffffffffffffff5760016fffffffffffffffffffffffffffffffff5760017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff57",
"nonce" : "0x00",
"storage" : {
}
},
- "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
- "balance" : "0x7ffffffffffffff0",
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7fffffffffffffff",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
}
+ }
+ },
+ "postStateRoot" : "b084216e6d76acf17db662f0de4991abef7c9d2640122ac54b775781efa05f52",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x600163ffffffff57600167ffffffffffffffff5760016fffffffffffffffffffffffffffffffff5760017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff57",
+ "nonce" : "0x00",
+ "storage" : {
+ }
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
- "balance" : "0x0f",
+ "balance" : "0x7fffffffffffffff",
"code" : "0x",
- "nonce" : "0x01",
+ "nonce" : "0x00",
"storage" : {
}
}
},
- "postStateRoot" : "64e1427482e39e0e4647d2208afd01e4e977d293c10890738d91711bba816a95",
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7fffffffffffffff",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "JUMP_Bounds" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x600056",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7fffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "2e31fd2fea505bb5cda0dca0482f8229861c1876db24a83555ae9685cb50ac9a",
"pre" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x00",
@@ -547,7 +1128,7 @@
},
"transaction" : {
"data" : "",
- "gasLimit" : "0x7ffffffffffffff0",
+ "gasLimit" : "0x7fffffffffffffff",
"gasPrice" : "0x01",
"nonce" : "0x00",
"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
@@ -575,41 +1156,158 @@
"storage" : {
}
},
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7fffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "75784d5e238680171e7df34f983743c19e5263e8088aec535dcfdb57af2c6982",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x63ffffffff5667ffffffffffffffff566fffffffffffffffffffffffffffffffff567fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff56",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x7fffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7fffffffffffffff",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "MLOAD_Bounds" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x01",
+ "code" : "0x6000515063ffffffff51",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
"2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
- "balance" : "0x7ffffffffffffff0",
+ "balance" : "0x200018085219",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
- "balance" : "0x0f",
+ "balance" : "0x07ffffffdfffe7f7ade5",
"code" : "0x",
"nonce" : "0x01",
"storage" : {
}
}
},
- "postStateRoot" : "9756d8fbc504409c995e330f081adaa87947eb012eeaec21d0e609480bb02dcd",
+ "postStateRoot" : "7d9e23c09c86b067071c666cb03f16ad837fa9892937136a2fbb35a8aa240697",
"pre" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x00",
- "code" : "0x63ffffffff5667ffffffffffffffff566fffffffffffffffffffffffffffffffff567fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff56",
+ "code" : "0x6000515063ffffffff51",
"nonce" : "0x00",
"storage" : {
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x07ffffffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7fffffffffffffff",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "MLOAD_Bounds2" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x67ffffffffffffffff51506fffffffffffffffffffffffffffffffff51507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff51",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
"balance" : "0x7fffffffffffffff",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
}
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x07ff8000000000000000",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "cbcf854d323104799cf22241ba42b9b64403a3a8c6d40ebd1f4ec88e00ef3dcf",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x67ffffffffffffffff51506fffffffffffffffffffffffffffffffff51507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff51",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0x07ffffffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
}
},
"transaction" : {
"data" : "",
- "gasLimit" : "0x7ffffffffffffff0",
+ "gasLimit" : "0x7fffffffffffffff",
"gasPrice" : "0x01",
"nonce" : "0x00",
"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
@@ -617,7 +1315,7 @@
"value" : "0x01"
}
},
- "MLOAD_Bounds" : {
+ "MLOAD_Bounds3" : {
"env" : {
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
"currentDifficulty" : "0x02b8feb0",
@@ -632,37 +1330,37 @@
"post" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x01",
- "code" : "0x6000515063ffffffff515067ffffffffffffffff51506fffffffffffffffffffffffffffffffff51507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff51",
+ "code" : "0x64ffffffffff51",
"nonce" : "0x00",
"storage" : {
}
},
"2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
- "balance" : "0x200018085219",
+ "balance" : "0x2000001808005211",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
- "balance" : "0x7fffdfffe7f7ade5",
+ "balance" : "0x07ffdfffffe7f7ffaded",
"code" : "0x",
"nonce" : "0x01",
"storage" : {
}
}
},
- "postStateRoot" : "bc0da6a1067b6a33c071ed705abc3e708963495ad0d11c29777f0fd8a2e23532",
+ "postStateRoot" : "2d9e6341ce3cfc57318d14f89010a5f9c51f70420d800fcee68ffabf8251b502",
"pre" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x00",
- "code" : "0x6000515063ffffffff515067ffffffffffffffff51506fffffffffffffffffffffffffffffffff51507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff51",
+ "code" : "0x64ffffffffff51",
"nonce" : "0x00",
"storage" : {
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
- "balance" : "0x7fffffffffffffff",
+ "balance" : "0x07ffffffffffffffffff",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
@@ -671,7 +1369,7 @@
},
"transaction" : {
"data" : "",
- "gasLimit" : "0x7ffffffffffffff0",
+ "gasLimit" : "0x7fffffffffffffff",
"gasPrice" : "0x01",
"nonce" : "0x00",
"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
@@ -683,7 +1381,7 @@
"env" : {
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
"currentDifficulty" : "0x02b8feb0",
- "currentGasLimit" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "currentGasLimit" : "0x7fffffffffffffff",
"currentNumber" : "0x118c30",
"currentTimestamp" : "0x01",
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
@@ -700,21 +1398,21 @@
}
},
"2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
- "balance" : "0x0fffffffffffffffff",
+ "balance" : "0x7ffffffffffffff0",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
- "balance" : "0xfffffffffffffffffffffffffffffffffffffffffffffff00000000000000000",
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffff800000000000000f",
"code" : "0x",
"nonce" : "0x01",
"storage" : {
}
}
},
- "postStateRoot" : "a1fd75e13d296e32549d10a6358f88feebde57a5c7d02aab41610e86c7a0060f",
+ "postStateRoot" : "a5c6407603c7d7292abed70ffa74dbadef1ca707e9bdd69e966bbe4671aeb530",
"pre" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x00",
@@ -733,7 +1431,69 @@
},
"transaction" : {
"data" : "",
- "gasLimit" : "0xfffffffffffffffff",
+ "gasLimit" : "0x7ffffffffffffff0",
+ "gasPrice" : "0x01",
+ "nonce" : "0x00",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "1000000000000000000000000000000000000000",
+ "value" : "0x01"
+ }
+ },
+ "MSTORE_Bounds2" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x02b8feb0",
+ "currentGasLimit" : "0x7fffffffffffffff",
+ "currentNumber" : "0x118c30",
+ "currentTimestamp" : "0x01",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "logs" : [
+ ],
+ "out" : "0x",
+ "post" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x01",
+ "code" : "0x600164ffffffffff52",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
+ "balance" : "0x2000001808005214",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffdfffffe7f7ffadea",
+ "code" : "0x",
+ "nonce" : "0x01",
+ "storage" : {
+ }
+ }
+ },
+ "postStateRoot" : "e2a5cecfe6030f0e3341b5728377a4f01c478903defb65840f7af65a22118148",
+ "pre" : {
+ "1000000000000000000000000000000000000000" : {
+ "balance" : "0x00",
+ "code" : "0x600164ffffffffff52",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "code" : "0x",
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : "",
+ "gasLimit" : "0x7ffffffffffffff0",
"gasPrice" : "0x01",
"nonce" : "0x00",
"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
@@ -769,14 +1529,14 @@
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
- "balance" : "0x7fffffffffffaddd",
+ "balance" : "0x07ffffffffffffffaddd",
"code" : "0x",
"nonce" : "0x01",
"storage" : {
}
}
},
- "postStateRoot" : "277b70e7a9862ee232e2eee4dbbbd9ca5f9684b43d9bbc1c3163cbff1d3a7fe6",
+ "postStateRoot" : "2a531e6edd87959eaf0ff10384e3b6e663bdc6160bf6f0efd63a988b77d2a33f",
"pre" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x00",
@@ -786,7 +1546,7 @@
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
- "balance" : "0x7fffffffffffffff",
+ "balance" : "0x07ffffffffffffffffff",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
@@ -795,7 +1555,7 @@
},
"transaction" : {
"data" : "",
- "gasLimit" : "0x7ffffffffffffff0",
+ "gasLimit" : "0x7fffffffffffffff",
"gasPrice" : "0x01",
"nonce" : "0x00",
"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
@@ -807,7 +1567,7 @@
"env" : {
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
"currentDifficulty" : "0x02b8feb0",
- "currentGasLimit" : "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
+ "currentGasLimit" : "0x7fffffffffffffff",
"currentNumber" : "0x118c30",
"currentTimestamp" : "0x01",
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
@@ -818,7 +1578,7 @@
"post" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x01",
- "code" : "0x600060006000600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff1600155600060006000600060007310000000000000000000000000000000000000026d0ffffffffffffffffffffffffffff1600255600060006000600060007310000000000000000000000000000000000000036d0ffffffffffffffffffffffffffff1600355600060006000600060007310000000000000000000000000000000000000046d0ffffffffffffffffffffffffffff1600455600060006000600060007310000000000000000000000000000000000000056d0ffffffffffffffffffffffffffff1600555600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600655600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600755600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600855600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600955600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600a556000600060006000600073",
+ "code" : "0x600060006000600060007310000000000000000000000000000000000000016707fffffffffffffff1600155600060006000600060007310000000000000000000000000000000000000026707fffffffffffffff1600255600060006000600060007310000000000000000000000000000000000000036707fffffffffffffff1600355600060006000600060007310000000000000000000000000000000000000046707fffffffffffffff1600455600060006000600060007310000000000000000000000000000000000000056707fffffffffffffff1600555600060006000600060007310000000000000000000000000000000000000066707fffffffffffffff1600655600060006000600060007310000000000000000000000000000000000000066707fffffffffffffff1600755600060006000600060007310000000000000000000000000000000000000066707fffffffffffffff1600855600060006000600060007310000000000000000000000000000000000000066707fffffffffffffff1600955600060006000600060007310000000000000000000000000000000000000066707fffffffffffffff1600a55600060006000600060007310000000000000000000000000000000000000066707fffffffffffffff1600b55600060006000600060007310000000000000000000000000000000",
"nonce" : "0x00",
"storage" : {
"0x01" : "0x01",
@@ -830,7 +1590,8 @@
"0x07" : "0x01",
"0x08" : "0x01",
"0x09" : "0x01",
- "0x0a" : "0x01"
+ "0x0a" : "0x01",
+ "0x0b" : "0x01"
}
},
"1000000000000000000000000000000000000001" : {
@@ -946,25 +1707,25 @@
}
},
"2adc25665018aa1fe0e6bc666dac8fc2697ff9ba" : {
- "balance" : "0x036216",
+ "balance" : "0x03b07c",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
- "balance" : "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc9de8",
+ "balance" : "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc4f82",
"code" : "0x",
"nonce" : "0x01",
"storage" : {
}
}
},
- "postStateRoot" : "6d24ae36b7cc3d5971d808c9582609c6516102dabe9215ed9395c97fea32f65f",
+ "postStateRoot" : "5ba00bb0f767ef04e809f4e3268ae48dadc2b75c059af88059975f6d83e1e6bb",
"pre" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x00",
- "code" : "0x600060006000600060007310000000000000000000000000000000000000016d0ffffffffffffffffffffffffffff1600155600060006000600060007310000000000000000000000000000000000000026d0ffffffffffffffffffffffffffff1600255600060006000600060007310000000000000000000000000000000000000036d0ffffffffffffffffffffffffffff1600355600060006000600060007310000000000000000000000000000000000000046d0ffffffffffffffffffffffffffff1600455600060006000600060007310000000000000000000000000000000000000056d0ffffffffffffffffffffffffffff1600555600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600655600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600755600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600855600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600955600060006000600060007310000000000000000000000000000000000000066d0ffffffffffffffffffffffffffff1600a556000600060006000600073",
+ "code" : "0x600060006000600060007310000000000000000000000000000000000000016707fffffffffffffff1600155600060006000600060007310000000000000000000000000000000000000026707fffffffffffffff1600255600060006000600060007310000000000000000000000000000000000000036707fffffffffffffff1600355600060006000600060007310000000000000000000000000000000000000046707fffffffffffffff1600455600060006000600060007310000000000000000000000000000000000000056707fffffffffffffff1600555600060006000600060007310000000000000000000000000000000000000066707fffffffffffffff1600655600060006000600060007310000000000000000000000000000000000000066707fffffffffffffff1600755600060006000600060007310000000000000000000000000000000000000066707fffffffffffffff1600855600060006000600060007310000000000000000000000000000000000000066707fffffffffffffff1600955600060006000600060007310000000000000000000000000000000000000066707fffffffffffffff1600a55600060006000600060007310000000000000000000000000000000000000066707fffffffffffffff1600b55600060006000600060007310000000000000000000000000000000",
"nonce" : "0x00",
"storage" : {
}
@@ -1091,7 +1852,7 @@
},
"transaction" : {
"data" : "",
- "gasLimit" : "0xffffffffffffffffffffffffffff",
+ "gasLimit" : "0x7fffffffffffffff",
"gasPrice" : "0x01",
"nonce" : "0x00",
"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
@@ -1127,14 +1888,14 @@
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
- "balance" : "0x7ffffffffffface5",
+ "balance" : "0x07fffffffffffffface5",
"code" : "0x",
"nonce" : "0x01",
"storage" : {
}
}
},
- "postStateRoot" : "887be9fe13a4454d653b44096237ab64e24bec27148e384c49427609a3c5dd8b",
+ "postStateRoot" : "1ead9fb677a23877d03e57fee917c54a61b1cdacb5cb730cd2dea5154795c1ab",
"pre" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x00",
@@ -1144,7 +1905,7 @@
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
- "balance" : "0x7fffffffffffffff",
+ "balance" : "0x07ffffffffffffffffff",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
@@ -1153,7 +1914,7 @@
},
"transaction" : {
"data" : "",
- "gasLimit" : "0x7ffffffffffffff0",
+ "gasLimit" : "0x7fffffffffffffff",
"gasPrice" : "0x01",
"nonce" : "0x00",
"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
@@ -1197,14 +1958,14 @@
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
- "balance" : "0x7ffffffffffd3cc6",
+ "balance" : "0x07fffffffffffffd3cc6",
"code" : "0x",
"nonce" : "0x01",
"storage" : {
}
}
},
- "postStateRoot" : "5d5d1a7e82b3cad3524c37042c4d1a91a73fb790d4b8faacf10f666455d2e003",
+ "postStateRoot" : "2af2733cdea16f85dfb3360686a89712a8cae12e7b2e350b774f995d032718b9",
"pre" : {
"1000000000000000000000000000000000000000" : {
"balance" : "0x00",
@@ -1214,7 +1975,7 @@
}
},
"a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
- "balance" : "0x7fffffffffffffff",
+ "balance" : "0x07ffffffffffffffffff",
"code" : "0x",
"nonce" : "0x00",
"storage" : {
@@ -1223,7 +1984,7 @@
},
"transaction" : {
"data" : "",
- "gasLimit" : "0x7ffffffffffffff0",
+ "gasLimit" : "0x7fffffffffffffff",
"gasPrice" : "0x01",
"nonce" : "0x00",
"secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-21 22:15:49 +0800