diff options
Diffstat (limited to 'src/GeneralStateTestsFiller/stBoundsTest/JUMPI_BoundsFiller.json')
-rw-r--r-- | src/GeneralStateTestsFiller/stBoundsTest/JUMPI_BoundsFiller.json | 59 |
1 files changed, 0 insertions, 59 deletions
diff --git a/src/GeneralStateTestsFiller/stBoundsTest/JUMPI_BoundsFiller.json b/src/GeneralStateTestsFiller/stBoundsTest/JUMPI_BoundsFiller.json deleted file mode 100644 index dd63df063..000000000 --- a/src/GeneralStateTestsFiller/stBoundsTest/JUMPI_BoundsFiller.json +++ /dev/null @@ -1,59 +0,0 @@ -{ - "JUMPI_Bounds" : { - "env" : { - "currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba", - "currentDifficulty" : "0x020000", - "currentGasLimit" : "0x7fffffffffffffff", - "currentNumber" : "1", - "currentTimestamp" : "1000", - "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6" - }, - "expect" : [ - { - "indexes" : { - "data" : -1, - "gas" : -1, - "value" : -1 - }, - "network" : ["ALL"], - "result" : { - "1000000000000000000000000000000000000000" : { - "balance" : "0", - "code" : "0x600163ffffffff57600167ffffffffffffffff5760016fffffffffffffffffffffffffffffffff5760017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff57" - } - } - } - ], - "pre" : { - "1000000000000000000000000000000000000000" : { - "balance" : "0", - "code" : "{ (JUMPI 0xffffffff 1) (JUMPI 0xffffffffffffffff 1) (JUMPI 0xffffffffffffffffffffffffffffffff 1) (JUMPI 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 1) }", - "nonce" : "0", - "storage" : { - } - }, - "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : { - "balance" : "0x7fffffffffffffff", - "code" : "", - "nonce" : "0", - "storage" : { - } - } - }, - "transaction" : { - "data" : [ - "" - ], - "gasLimit" : [ - "0x7fffffffffffffff" - ], - "gasPrice" : "1", - "nonce" : "0", - "secretKey" : "45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8", - "to" : "1000000000000000000000000000000000000000", - "value" : [ - "1" - ] - } - } -}
\ No newline at end of file |