diff options
| author | Dimitry <dimitry@ethereum.org> | 2018-09-12 20:59:06 +0800 |
|---|---|---|
| committer | Dimitry <dimitry@ethereum.org> | 2018-09-12 20:59:06 +0800 |
| commit | b5020fac5760e66707e6f6fd11a3295137221db1 (patch) | |
| tree | 731b044609b0d53b3bfff921b13c288a8af53a6d /src/GeneralStateTestsFiller | |
| parent | d1b7f959bfc8c6c77baef11a4e14a50c558a37a9 (diff) | |
| download | tangerine-tests-b5020fac5760e66707e6f6fd11a3295137221db1.tar tangerine-tests-b5020fac5760e66707e6f6fd11a3295137221db1.tar.gz tangerine-tests-b5020fac5760e66707e6f6fd11a3295137221db1.tar.bz2 tangerine-tests-b5020fac5760e66707e6f6fd11a3295137221db1.tar.lz tangerine-tests-b5020fac5760e66707e6f6fd11a3295137221db1.tar.xz tangerine-tests-b5020fac5760e66707e6f6fd11a3295137221db1.tar.zst tangerine-tests-b5020fac5760e66707e6f6fd11a3295137221db1.zip | |
REVERT in CREATE2
Diffstat (limited to 'src/GeneralStateTestsFiller')
4 files changed, 292 insertions, 0 deletions
diff --git a/src/GeneralStateTestsFiller/stCreate2/CreateMessageRevertedFiller.json b/src/GeneralStateTestsFiller/stCreate2/CreateMessageRevertedFiller.json new file mode 100644 index 000000000..debbfdae8 --- /dev/null +++ b/src/GeneralStateTestsFiller/stCreate2/CreateMessageRevertedFiller.json @@ -0,0 +1,85 @@ +{ + "CreateMessageReverted" : { + "_info" : { + "comment" : "CreateMessageReverted for CREATE2" + }, + "env" : { + "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x020000", + "currentGasLimit" : "1000000000000", + "currentNumber" : "1", + "currentTimestamp" : "1000", + "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6" + }, + "expect" : [ + { + "indexes" : { + "data" : -1, + "gas" : 0, + "value" : -1 + }, + "network" : [">=Constantinople"], + "result" : { + "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "nonce" : "1" + }, + "244fe9a7867edcc140245e775071fbfe6ebedbae" : { + "shouldnotexist" : "1" + } + } + }, + { + "indexes" : { + "data" : -1, + "gas" : 1, + "value" : -1 + }, + "network" : [">=Constantinople"], + "result" : { + "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "nonce" : "1" + }, + "244fe9a7867edcc140245e775071fbfe6ebedbae" : { + "balance" : "0", + "nonce" : "1", + "storage" : { + "0x00" : "0x0c", + "0x01" : "0x0d" + } + } + } + } + ], + "pre" : { + "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "300000", + "code" : "", + "nonce" : "0", + "storage" : { + } + }, + "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "0", + "code" : "{(MSTORE 0 0x600c600055600d600155) (CREATE2 0 22 10 0)}", + "nonce" : "0", + "storage" : { + } + } + }, + "transaction" : { + "data" : [ + "" + ], + "gasLimit" : [ + "80000", "150000" + ], + "gasPrice" : "1", + "nonce" : "0", + "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8", + "to" : "b94f5374fce5edbc8e2a8697c15331677e6ebf0b", + "value" : [ + "100" + ] + } + } +} diff --git a/src/GeneralStateTestsFiller/stCreate2/RevertInCreateInInitFiller.json b/src/GeneralStateTestsFiller/stCreate2/RevertInCreateInInitFiller.json new file mode 100644 index 000000000..509723405 --- /dev/null +++ b/src/GeneralStateTestsFiller/stCreate2/RevertInCreateInInitFiller.json @@ -0,0 +1,64 @@ +{ + "RevertInCreateInInit" : { + "_info" : { + "comment" : "RevertInCreateInInit for CREATE2" + }, + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x20000", + "currentGasLimit" : "0x0a00000000", + "currentNumber" : "0x01", + "currentTimestamp" : "0x03e8", + "previousHash" : "0x5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6" + }, + "expect" : [ + { "indexes" : { + "data" : -1, + "gas" : -1, + "value" : -1 + }, + "network" : [">=Constantinople"], + "result" : { + "0x6295ee1b4f6dd65047762f924ecd367c17eabf8f" : { + "storage" : { + "0x00" : "0x20", + "0x01" : "0x112233" + } + } + } + } + ], + "pre" : { + "0x6295ee1b4f6dd65047762f924ecd367c17eabf8f" : { + "balance" : "0", + "code" : "", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x01" + } + }, + "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "0x6400000000", + "code" : "", + "nonce" : "0x00", + "storage" : { + } + } + }, + "transaction" : { + "data" : [ + "{ (seq (address) (CREATE2 0 0 (lll (seq (mstore 0 0x112233) (revert 0 32)) 0) 0) (SSTORE 0 (RETURNDATASIZE)) (returndatacopy 0 0 32) (sstore 1 (mload 0)) ) }" + ], + "gasLimit" : [ + "0x0a00000000" + ], + "gasPrice" : "0x01", + "nonce" : "0x00", + "secretKey" : "0x45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8", + "to" : "", + "value" : [ + "0x00" + ] + } + } +} diff --git a/src/GeneralStateTestsFiller/stCreate2/RevertOpcodeCreateFiller.json b/src/GeneralStateTestsFiller/stCreate2/RevertOpcodeCreateFiller.json new file mode 100644 index 000000000..c0c8c3559 --- /dev/null +++ b/src/GeneralStateTestsFiller/stCreate2/RevertOpcodeCreateFiller.json @@ -0,0 +1,80 @@ +{ + "RevertOpcodeCreate" : { + "_info" : { + "comment" : "RevertOpcodeCreate for CREATE2" + }, + "env" : { + "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x020000", + "currentGasLimit" : "10000000", + "currentNumber" : "1", + "currentTimestamp" : "1000", + "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6" + }, + "expect" : [ + { + "indexes" : { + "data" : -1, + "gas" : 0, + "value" : -1 + }, + "network" : [">=Constantinople"], + "result" : { + "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "nonce" : "1", + "storage" : { + "0x00" : "0x0c", + "0x01" : "0x00" + } + } + } + }, + { + "indexes" : { + "data" : -1, + "gas" : 1, + "value" : -1 + }, + "network" : [">=Constantinople"], + "result" : { + "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "nonce" : "0" + } + } + } + ], + "pre" : + { + "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "1000000000000", + "code" : "", + "nonce" : "0", + "storage" : { + } + }, + "b94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "1", + "// code" : "{ [[0]] 1 (REVERT 0 1) [[1]] 12 }", + "code" : "{ (MSTORE 0 0x600160005560016000fd6011600155 ) [[1]](CREATE2 1 17 15 0) [[0]] 12 }", + "nonce" : "0", + "storage" : { + } + } + }, + "transaction" : { + "data" : [ + "0x600160005560016000fe6011600155" + ], + "gasLimit" : [ + "460000", "70000" + ], + "gasPrice" : "1", + "nonce" : "0", + "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8", + "to" : "b94f5374fce5edbc8e2a8697c15331677e6ebf0b", + "value" : [ + "0" + ] + } + } +} diff --git a/src/GeneralStateTestsFiller/stCreate2/RevertOpcodeInCreateReturnsFiller.json b/src/GeneralStateTestsFiller/stCreate2/RevertOpcodeInCreateReturnsFiller.json new file mode 100644 index 000000000..85a15e254 --- /dev/null +++ b/src/GeneralStateTestsFiller/stCreate2/RevertOpcodeInCreateReturnsFiller.json @@ -0,0 +1,63 @@ +{ + "RevertOpcodeInCreateReturns" : { + "_info" : { + "comment" : "RevertOpcodeInCreateReturns for CREATE2" + }, + "env" : { + "currentCoinbase" : "0x2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", + "currentDifficulty" : "0x20000", + "currentGasLimit" : "0x0a00000000", + "currentNumber" : "0x01", + "currentTimestamp" : "0x03e8", + "previousHash" : "0x5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6" + }, + "expect" : [ + { "indexes" : { + "data" : -1, + "gas" : -1, + "value" : -1 + }, + "network" : [">=Constantinople"], + "result" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "storage" : { + "0x00" : "0x20" + } + } + } + } + ], + "pre" : { + "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : { + "balance" : "0x00", + "code" : "{ (seq (CREATE2 0 0 (lll (seq (mstore 0 0x112233) (revert 0 32)) 0) 0) (SSTORE 0 (RETURNDATASIZE)) )}", + "nonce" : "0x00", + "storage" : { + "0x00" : "0x01" + } + }, + "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { + "balance" : "0x6400000000", + "code" : "", + "nonce" : "0x00", + "storage" : { + } + } + }, + "transaction" : { + "data" : [ + "" + ], + "gasLimit" : [ + "0x0a00000000" + ], + "gasPrice" : "0x01", + "nonce" : "0x00", + "secretKey" : "0x45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8", + "to" : "0x0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6", + "value" : [ + "0x00" + ] + } + } +} |