aboutsummaryrefslogtreecommitdiffstats
path: root/vmBitwiseLogicOperationTestFiller.json
diff options
context:
space:
mode:
Diffstat (limited to 'vmBitwiseLogicOperationTestFiller.json')
-rw-r--r--vmBitwiseLogicOperationTestFiller.json248
1 files changed, 124 insertions, 124 deletions
diff --git a/vmBitwiseLogicOperationTestFiller.json b/vmBitwiseLogicOperationTestFiller.json
index 8954dca1..1eb923f4 100644
--- a/vmBitwiseLogicOperationTestFiller.json
+++ b/vmBitwiseLogicOperationTestFiller.json
@@ -10,7 +10,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "100000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (LT (- 0 2) 0 )}",
"storage": {}
@@ -20,10 +20,10 @@
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
- "value" : "1000000000000000000",
+ "value" : "10000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -38,7 +38,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "10000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (LT 0 (- 0 2) )}",
"storage": {}
@@ -48,10 +48,10 @@
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
- "value" : "1000000000000000000",
+ "value" : "10000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -66,7 +66,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "10000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (LT 115792089237316195423570985008687907853269984665640564039457584007913129639935 0 )}",
"storage": {}
@@ -76,10 +76,10 @@
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
"origin" : "cd1722f3947def4cf144679da39c4c32bdc35681",
"caller" : "cd1722f3947def4cf144679da39c4c32bdc35681",
- "value" : "1000000000000000000",
- "data" : "",
+ "value" : "10000000000000000000",
+ "data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -95,7 +95,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (LT 0 115792089237316195423570985008687907853269984665640564039457584007913129639935 )}",
"storage": {}
@@ -108,7 +108,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -123,7 +123,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] ( GT (- 0 2) 0 )}",
"storage": {}
@@ -136,7 +136,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -151,7 +151,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (GT 0 (- 0 2) )}",
"storage": {}
@@ -164,7 +164,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -179,7 +179,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (GT 115792089237316195423570985008687907853269984665640564039457584007913129639935 0 )}",
"storage": {}
@@ -192,7 +192,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -208,7 +208,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (GT 0 115792089237316195423570985008687907853269984665640564039457584007913129639935 )}",
"storage": {}
@@ -221,7 +221,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -236,7 +236,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (SLT (- 0 2) 0 )}",
"storage": {}
@@ -249,7 +249,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -264,7 +264,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (SLT 0 (- 0 2) )}",
"storage": {}
@@ -277,7 +277,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -292,7 +292,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (SLT 115792089237316195423570985008687907853269984665640564039457584007913129639935 0 )}",
"storage": {}
@@ -305,7 +305,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -321,7 +321,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (SLT 0 115792089237316195423570985008687907853269984665640564039457584007913129639935 )}",
"storage": {}
@@ -334,7 +334,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -349,7 +349,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (SLT (- 0 5) (- 0 3) )}",
"storage": {}
@@ -362,7 +362,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -377,7 +377,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (SGT (- 0 2) 0 )}",
"storage": {}
@@ -390,7 +390,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -405,7 +405,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (SGT 0 (- 0 2) )}",
"storage": {}
@@ -418,7 +418,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -433,7 +433,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (SGT 115792089237316195423570985008687907853269984665640564039457584007913129639935 0 )}",
"storage": {}
@@ -446,7 +446,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -462,7 +462,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (SGT 0 115792089237316195423570985008687907853269984665640564039457584007913129639935 )}",
"storage": {}
@@ -475,7 +475,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -490,7 +490,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (SGT (- 0 5) (- 0 3) )}",
"storage": {}
@@ -503,7 +503,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -518,7 +518,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (EQ (- 0 5) (- 0 3) )}",
"storage": {}
@@ -531,7 +531,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -546,7 +546,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (EQ 0 0)}",
"storage": {}
@@ -559,7 +559,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -574,7 +574,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (EQ 115792089237316195423570985008687907853269984665640564039457584007913129639935 115792089237316195423570985008687907853269984665640564039457584007913129639935 )}",
"storage": {}
@@ -587,7 +587,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -602,7 +602,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (ISZERO 115792089237316195423570985008687907853269984665640564039457584007913129639935 )}",
"storage": {}
@@ -615,7 +615,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -630,7 +630,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (ISZERO 0 )}",
"storage": {}
@@ -643,7 +643,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
"iszeo2": {
@@ -657,7 +657,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (ISZERO (- 0 2) )}",
"storage": {}
@@ -670,7 +670,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -685,7 +685,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (AND 2 2) }",
"storage": {}
@@ -698,7 +698,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -713,7 +713,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (AND 2 1) }",
"storage": {}
@@ -726,7 +726,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -741,7 +741,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (AND 3 1) }",
"storage": {}
@@ -754,7 +754,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
"and3": {
@@ -768,7 +768,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (AND 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0x0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef) } ",
"storage": {}
@@ -781,7 +781,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
"and4": {
@@ -795,7 +795,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (AND 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) } ",
"storage": {}
@@ -808,7 +808,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -823,7 +823,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (AND 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeefeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) } ",
"storage": {}
@@ -836,7 +836,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -851,7 +851,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (OR 2 2) } ",
"storage": {}
@@ -864,7 +864,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -879,7 +879,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (OR 2 1) } ",
"storage": {}
@@ -892,7 +892,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -907,7 +907,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (OR 3 1) } ",
"storage": {}
@@ -920,7 +920,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
"or3": {
@@ -934,7 +934,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (OR 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0x0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef) } ",
"storage": {}
@@ -947,7 +947,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
"or4": {
@@ -961,7 +961,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (OR 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) } ",
"storage": {}
@@ -974,7 +974,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -989,7 +989,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (OR 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeefeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) } ",
"storage": {}
@@ -1002,7 +1002,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1017,7 +1017,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (XOR 2 2) } ",
"storage": {}
@@ -1030,7 +1030,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1045,7 +1045,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (XOR 2 1) } ",
"storage": {}
@@ -1058,7 +1058,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1073,7 +1073,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (XOR 3 1) } ",
"storage": {}
@@ -1086,7 +1086,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
"xor3": {
@@ -1100,7 +1100,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (XOR 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0x0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef) } ",
"storage": {}
@@ -1113,7 +1113,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
"xor4": {
@@ -1127,7 +1127,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (XOR 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) } ",
"storage": {}
@@ -1140,7 +1140,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1155,7 +1155,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (XOR 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeefeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) } ",
"storage": {}
@@ -1168,7 +1168,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1183,7 +1183,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (NOT 0 )}",
"storage": {}
@@ -1196,7 +1196,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1211,7 +1211,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (NOT 2 )}",
"storage": {}
@@ -1224,7 +1224,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1239,7 +1239,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (NOT 115792089237316195423570985008687907853269984665640564039457584007913129639935 )}",
"storage": {}
@@ -1252,7 +1252,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1267,7 +1267,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (NOT (- 0 2) )}",
"storage": {}
@@ -1280,7 +1280,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1295,7 +1295,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (NOT (- 0 115792089237316195423570985008687907853269984665640564039457584007913129639935) )}",
"storage": {}
@@ -1308,7 +1308,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1323,7 +1323,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (NOT (- 0 0) )}",
"storage": {}
@@ -1336,7 +1336,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1351,7 +1351,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (BYTE (- 31 0) 0x8040201008040201 ) } ",
"storage": {}
@@ -1364,7 +1364,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
"byte1": {
@@ -1378,7 +1378,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (BYTE (- 31 1) 0x8040201008040201 ) } ",
"storage": {}
@@ -1391,7 +1391,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
"byte2": {
@@ -1405,7 +1405,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (BYTE (- 31 2) 0x8040201008040201 ) } ",
"storage": {}
@@ -1418,7 +1418,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1433,7 +1433,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (BYTE (- 31 3) 0x8040201008040201 ) } ",
"storage": {}
@@ -1446,7 +1446,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1461,7 +1461,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (BYTE (- 31 4) 0x8040201008040201 ) } ",
"storage": {}
@@ -1474,7 +1474,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1489,7 +1489,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (BYTE (- 31 5) 0x8040201008040201 ) } ",
"storage": {}
@@ -1502,7 +1502,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1518,7 +1518,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (BYTE (- 31 6) 0x8040201008040201 ) } ",
"storage": {}
@@ -1531,7 +1531,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1546,7 +1546,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (BYTE (- 31 7) 0x8040201008040201 ) } ",
"storage": {}
@@ -1559,7 +1559,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1575,7 +1575,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (BYTE (- 31 31) 0x8040201008040201 ) } ",
"storage": {}
@@ -1588,7 +1588,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1603,7 +1603,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (BYTE (SDIV 31 32) 0x8040201008040201 ) } ",
"storage": {}
@@ -1616,7 +1616,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1631,7 +1631,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (BYTE 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0x8040201008040201 ) } ",
"storage": {}
@@ -1644,7 +1644,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
},
@@ -1659,7 +1659,7 @@
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
- "balance" : "1000000000000000000",
+ "balance" : "1000000000000000000000000",
"nonce" : "0",
"code" : "{ [[ 0 ]] (BYTE 0 0x8040201008040201) } ",
"storage": {}
@@ -1672,7 +1672,7 @@
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
- "gas" : "10000"
+ "gas" : "100000"
}
}
}
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-24 21:03:08 +0800