aboutsummaryrefslogtreecommitdiffstats
path: root/src/GeneralStateTestsFiller
diff options
context:
space:
mode:
authorDimitry <winsvega@mail.ru>2017-03-24 00:23:26 +0800
committerDimitry <winsvega@mail.ru>2017-03-24 00:23:26 +0800
commite8ffd5d28a236032e195f08c9561f71ae9b6e6ea (patch)
tree049cc843baca464494f22ef26e7a0aecbbbbc808 /src/GeneralStateTestsFiller
parent7c60c32a115e088acc2c79197e66b84c2cfda790 (diff)
downloadtangerine-tests-e8ffd5d28a236032e195f08c9561f71ae9b6e6ea.tar
tangerine-tests-e8ffd5d28a236032e195f08c9561f71ae9b6e6ea.tar.gz
tangerine-tests-e8ffd5d28a236032e195f08c9561f71ae9b6e6ea.tar.bz2
tangerine-tests-e8ffd5d28a236032e195f08c9561f71ae9b6e6ea.tar.lz
tangerine-tests-e8ffd5d28a236032e195f08c9561f71ae9b6e6ea.tar.xz
tangerine-tests-e8ffd5d28a236032e195f08c9561f71ae9b6e6ea.tar.zst
tangerine-tests-e8ffd5d28a236032e195f08c9561f71ae9b6e6ea.zip
more revert tests
Diffstat (limited to 'src/GeneralStateTestsFiller')
-rw-r--r--src/GeneralStateTestsFiller/stRevertTest/RevertOpcodeMultipleSubCallsFiller.json471
-rw-r--r--src/GeneralStateTestsFiller/stRevertTest/RevertOpcodeReturnFiller.json164
2 files changed, 635 insertions, 0 deletions
diff --git a/src/GeneralStateTestsFiller/stRevertTest/RevertOpcodeMultipleSubCallsFiller.json b/src/GeneralStateTestsFiller/stRevertTest/RevertOpcodeMultipleSubCallsFiller.json
new file mode 100644
index 000000000..409c06e2d
--- /dev/null
+++ b/src/GeneralStateTestsFiller/stRevertTest/RevertOpcodeMultipleSubCallsFiller.json
@@ -0,0 +1,471 @@
+{
+ "RevertOpcodeMultipleSubCalls" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x020000",
+ "currentGasLimit" : "10000000",
+ "currentNumber" : "1",
+ "currentTimestamp" : "1000",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "expect" : [
+ {
+ "indexes" : {
+ "data" : 0,
+ "gas" : 0,
+ "value" : -1
+ },
+ "network" : ["Frontier", "Homestead", "EIP150", "EIP158"],
+ "result" : {
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "nonce" : "0x01"
+ },
+ "a000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x04" : "0x0c",
+ "0x05" : "0x0c"
+ }
+ }
+ }
+ },
+ {
+ "indexes" : {
+ "data" : 0,
+ "gas" : 0,
+ "value" : -1
+ },
+ "network" : ["Metropolis"],
+ "result" : {
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "nonce" : "0x01"
+ },
+ "a000000000000000000000000000000000000000" : {
+ "nonce" : "0x00",
+ "storage" : {
+ "0x04" : "0x0c",
+ "0x05" : "0x0c",
+ "0x0a" : "0x01",
+ "0x0b" : "0x01",
+ "0x0c" : "0x01"
+ }
+ },
+ "b000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ },
+ "c000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ },
+ "d000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ }
+ }
+ },
+ {
+ "indexes" : {
+ "data" : 1,
+ "gas" : 0,
+ "value" : -1
+ },
+ "network" : ["Metropolis"],
+ "result" : {
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "nonce" : "0x01"
+ },
+ "a100000000000000000000000000000000000000" : {
+ "nonce" : "0x00",
+ "storage" : {
+ "0x04" : "0x0c",
+ "0x05" : "0x0c",
+ "0x0a" : "0x01",
+ "0x0b" : "0x01",
+ "0x0c" : "0x01"
+ }
+ },
+ "b000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ },
+ "c000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ },
+ "d000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ }
+ }
+ },
+ {
+ "indexes" : {
+ "data" : 2,
+ "gas" : 0,
+ "value" : -1
+ },
+ "network" : ["Metropolis"],
+ "result" : {
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "nonce" : "0x01"
+ },
+ "a200000000000000000000000000000000000000" : {
+ "nonce" : "0x00",
+ "storage" : {
+ "0x04" : "0x0c",
+ "0x05" : "0x0c",
+ "0x0a" : "0x01",
+ "0x0b" : "0x01",
+ "0x0c" : "0x01"
+ }
+ },
+ "b000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ },
+ "c000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ },
+ "d000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ }
+ }
+ },
+ {
+ "indexes" : {
+ "data" : 3,
+ "gas" : 0,
+ "value" : -1
+ },
+ "network" : ["Metropolis"],
+ "result" : {
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "nonce" : "0x01"
+ },
+ "a300000000000000000000000000000000000000" : {
+ "nonce" : "0x00",
+ "storage" : {
+ "0x04" : "0x0c",
+ "0x05" : "0x0c",
+ "0x0a" : "0x01",
+ "0x0b" : "0x01",
+ "0x0c" : "0x01"
+ }
+ },
+ "b000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ },
+ "c000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ },
+ "d000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ }
+ }
+ },
+ {
+ "indexes" : {
+ "data" : -1,
+ "gas" : [2],
+ "value" : 1
+ },
+ "network" : ["Metropolis"],
+ "result" : {
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "nonce" : "0x01"
+ },
+ "a000000000000000000000000000000000000000" : {
+ "nonce" : "0x00",
+ "storage" : {
+ "0x04" : "0x00",
+ "0x05" : "0x00",
+ "0x0a" : "0x00",
+ "0x0b" : "0x00",
+ "0x0c" : "0x00"
+ }
+ },
+ "a100000000000000000000000000000000000000" : {
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a200000000000000000000000000000000000000" : {
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a300000000000000000000000000000000000000" : {
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "b000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ },
+ "c000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ },
+ "d000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ }
+ }
+ },
+ {
+ "indexes" : {
+ "data" : 0,
+ "gas" : [2],
+ "value" : 0
+ },
+ "network" : ["Metropolis"],
+ "result" : {
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "nonce" : "0x01"
+ },
+ "a000000000000000000000000000000000000000" : {
+ "nonce" : "0x00",
+ "storage" : {
+ "0x04" : "0x0c",
+ "0x05" : "0x0c",
+ "0x0a" : "0x01",
+ "0x0b" : "0x01",
+ "0x0c" : "0x01"
+ }
+ },
+ "a100000000000000000000000000000000000000" : {
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a200000000000000000000000000000000000000" : {
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a300000000000000000000000000000000000000" : {
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "b000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ },
+ "c000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ },
+ "d000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ }
+ }
+ },
+ {
+ "indexes" : {
+ "data" : -1,
+ "gas" : [1],
+ "value" : -1
+ },
+ "network" : ["Metropolis"],
+ "result" : {
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "nonce" : "0x01"
+ },
+ "a000000000000000000000000000000000000000" : {
+ "nonce" : "0x00",
+ "storage" : {
+ "0x04" : "0x00",
+ "0x05" : "0x00",
+ "0x0a" : "0x00",
+ "0x0b" : "0x00",
+ "0x0c" : "0x00"
+ }
+ },
+ "a100000000000000000000000000000000000000" : {
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a200000000000000000000000000000000000000" : {
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "a300000000000000000000000000000000000000" : {
+ "nonce" : "0x00",
+ "storage" : {
+ }
+ },
+ "b000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ },
+ "c000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ },
+ "d000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00",
+ "0x03" : "0x00"
+ }
+ }
+ }
+ }
+ ],
+ "pre" :
+ {
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "1000000000000",
+ "code" : "",
+ "nonce" : "0",
+ "storage" : {
+ }
+ },
+ "ac00000000000000000000000000000000000000" : {
+ "balance" : "0",
+ "code" : "{ (CALL 260000 (CALLDATALOAD 0) (CALLVALUE) 0 0 0 0) }",
+ "nonce" : "0",
+ "storage" : {}
+ },
+ "a000000000000000000000000000000000000000" : {
+ "balance" : "0",
+ "code" : "simple calls",
+ "code" : "call -> callA-> revert | callB -> revert | some code * and OOG scenarious",
+ "code" : "{ [[10]](CALL 50000 0xb000000000000000000000000000000000000000 0 0 0 0 0) [[11]](CALL 50000 0xc000000000000000000000000000000000000000 0 0 0 0 0) [[12]](CALL 50000 0xd000000000000000000000000000000000000000 0 0 0 0 0) [[4]]12 [[5]]12 }",
+ "nonce" : "",
+ "storage" : {
+ }
+ },
+ "a100000000000000000000000000000000000000" : {
+ "balance" : "0",
+ "code" : "{ [[10]](CALLCODE 50000 0xb000000000000000000000000000000000000000 0 0 0 0 0) [[11]](CALLCODE 50000 0xc000000000000000000000000000000000000000 0 0 0 0 0) [[12]](CALLCODE 50000 0xd000000000000000000000000000000000000000 0 0 0 0 0) [[4]]12 [[5]]12 }",
+ "nonce" : "",
+ "storage" : {
+ }
+ },
+ "a200000000000000000000000000000000000000" : {
+ "balance" : "0",
+ "code" : "{ [[10]](DELEGATECALL 50000 0xb000000000000000000000000000000000000000 0 0 0 0) [[11]](DELEGATECALL 50000 0xc000000000000000000000000000000000000000 0 0 0 0) [[12]](DELEGATECALL 50000 0xd000000000000000000000000000000000000000 0 0 0 0) [[4]]12 [[5]]12 }",
+ "nonce" : "",
+ "storage" : {
+ }
+ },
+ "a300000000000000000000000000000000000000" : {
+ "balance" : "0",
+ "code" : "{ [[10]](CALL 50000 0xb000000000000000000000000000000000000000 0 0 0 0 0) [[11]](DELEGATECALL 50000 0xc000000000000000000000000000000000000000 0 0 0 0) [[12]](CALLCODE 50000 0xd000000000000000000000000000000000000000 0 0 0 0 0) [[4]]12 [[5]]12 }",
+ "nonce" : "",
+ "storage" : {
+ }
+ },
+ "b000000000000000000000000000000000000000" : {
+ "balance" : "0",
+ "code" : "{ [[1]] 12 (REVERT 0 1) }",
+ "nonce" : "",
+ "storage" : {
+ }
+ },
+ "c000000000000000000000000000000000000000" : {
+ "balance" : "0",
+ "code" : "{ [[2]] 12 (REVERT 0 1) }",
+ "nonce" : "",
+ "storage" : {
+ }
+ },
+ "d000000000000000000000000000000000000000" : {
+ "balance" : "0",
+ "code" : "{ [[3]] 12 (REVERT 0 1) }",
+ "nonce" : "",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : [
+ "000000000000000000000000a000000000000000000000000000000000000000",
+ "000000000000000000000000a100000000000000000000000000000000000000",
+ "000000000000000000000000a200000000000000000000000000000000000000",
+ "000000000000000000000000a300000000000000000000000000000000000000"
+ ],
+ "gasLimit" : [
+ "800000", "160000", "190000"
+ ],
+ "gasPrice" : "1",
+ "nonce" : "0",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "ac00000000000000000000000000000000000000",
+ "value" : [
+ "0", "10"
+ ]
+ }
+ }
+}
diff --git a/src/GeneralStateTestsFiller/stRevertTest/RevertOpcodeReturnFiller.json b/src/GeneralStateTestsFiller/stRevertTest/RevertOpcodeReturnFiller.json
new file mode 100644
index 000000000..bfa126b39
--- /dev/null
+++ b/src/GeneralStateTestsFiller/stRevertTest/RevertOpcodeReturnFiller.json
@@ -0,0 +1,164 @@
+{
+ "RevertOpcodeReturn" : {
+ "env" : {
+ "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba",
+ "currentDifficulty" : "0x020000",
+ "currentGasLimit" : "10000000",
+ "currentNumber" : "1",
+ "currentTimestamp" : "1000",
+ "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6"
+ },
+ "expect" : [
+ {
+ "indexes" : {
+ "data" : -1,
+ "gas" : -1,
+ "value" : -1
+ },
+ "network" : ["Frontier", "Homestead", "EIP150", "EIP158"],
+ "result" : {
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "nonce" : "1"
+ },
+ "a000000000000000000000000000000000000000" : {
+ "balance" : "0",
+ "storage" : {
+ }
+ }
+ }
+ },
+ {
+ "indexes" : {
+ "data" : 0,
+ "gas" : 0,
+ "value" : -1
+ },
+ "network" : ["Metropolis"],
+ "result" : {
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "nonce" : "1"
+ },
+ "a000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x01",
+ "0x02" : "0x726576657274206d657373616765"
+ }
+ },
+ "a100000000000000000000000000000000000000" : {
+ "storage" : {
+ }
+ }
+ }
+ },
+ {
+ "indexes" : {
+ "data" : [1,3],
+ "gas" : 0,
+ "value" : -1
+ },
+ "network" : ["Metropolis"],
+ "result" : {
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "nonce" : "1"
+ },
+ "a000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x01",
+ "0x02" : "0x00"
+ }
+ },
+ "a100000000000000000000000000000000000000" : {
+ "storage" : {
+ }
+ }
+ }
+ },
+ {
+ "indexes" : {
+ "data" : [2],
+ "gas" : 0,
+ "value" : -1
+ },
+ "network" : ["Metropolis"],
+ "result" : {
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "nonce" : "1"
+ },
+ "a000000000000000000000000000000000000000" : {
+ "storage" : {
+ "0x01" : "0x00",
+ "0x02" : "0x00"
+ }
+ },
+ "a100000000000000000000000000000000000000" : {
+ "storage" : {
+ }
+ }
+ }
+ }
+ ],
+ "pre" :
+ {
+ "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
+ "balance" : "1000000000000",
+ "code" : "",
+ "nonce" : "0",
+ "storage" : {
+ }
+ },
+ "a000000000000000000000000000000000000000" : {
+ "balance" : "0",
+ "code" : "{ [[1]](CALL 150000 (CALLDATALOAD 0) 0 0 0 0 32) [[2]] (MLOAD 0) }",
+ "nonce" : "",
+ "storage" : {
+ }
+ },
+ "a100000000000000000000000000000000000000" : {
+ "balance" : "0",
+ "code" : "{ (SSTORE 0 0x72657665727465642064617461) (MSTORE 0 0x726576657274206d657373616765) (REVERT 0 32) }",
+ "nonce" : "0",
+ "storage" : {
+ }
+ },
+ "a200000000000000000000000000000000000000" : {
+ "balance" : "0",
+ "code" : "{ (SSTORE 0 0x72657665727465642064617461) (MSTORE 0 0x726576657274206d657373616765) (REVERT 0 0) }",
+ "nonce" : "0",
+ "storage" : {
+ }
+ },
+ "a300000000000000000000000000000000000000" : {
+ "balance" : "0",
+ "code" : "{ (SSTORE 0 0x72657665727465642064617461) (MSTORE 0 0x726576657274206d657373616765) (REVERT 0 0xfffffffffffffffffffffffffffff) }",
+ "nonce" : "0",
+ "storage" : {
+ }
+ },
+ "a400000000000000000000000000000000000000" : {
+ "balance" : "0",
+ "code" : "{ (SSTORE 0 0x72657665727465642064617461) (MSTORE 0 0x726576657274206d657373616765) (REVERT 0x100 0x00) }",
+ "nonce" : "0",
+ "storage" : {
+ }
+ }
+ },
+ "transaction" : {
+ "data" : [
+ "000000000000000000000000a100000000000000000000000000000000000000",
+ "000000000000000000000000a200000000000000000000000000000000000000",
+ "000000000000000000000000a300000000000000000000000000000000000000",
+ "000000000000000000000000a400000000000000000000000000000000000000"
+ ],
+ "gasLimit" : [
+ "800000", "70000"
+ ],
+ "gasPrice" : "1",
+ "nonce" : "0",
+ "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8",
+ "to" : "a000000000000000000000000000000000000000",
+ "value" : [
+ "0"
+ ]
+ }
+ }
+}