aboutsummaryrefslogtreecommitdiffstats
path: root/src/GeneralStateTestsFiller/stBoundsTest/JUMPI_BoundsFiller.json
diff options
context:
space:
mode:
Diffstat (limited to 'src/GeneralStateTestsFiller/stBoundsTest/JUMPI_BoundsFiller.json')
-rw-r--r--src/GeneralStateTestsFiller/stBoundsTest/JUMPI_BoundsFiller.json59
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