cerc-io/solidity
15
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

readd --filltest option and add dejavu issue 42 test

Browse Source
This commit is contained in:
CJentzsch 2015-03-12 16:53:00 +01:00
parent 67fae64c9f
commit b5ed5d13d1
2 changed files with 31 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
TestHelper.cpp
View File

@ -549,6 +549,8 @@ Options::Options()
} }
else if (arg == "--vmtrace") else if (arg == "--vmtrace")
vmtrace = true; vmtrace = true;
else if (arg == "--filltests")
fillTests = true;
else if (arg == "--performance") else if (arg == "--performance")
performance = true; performance = true;
else if (arg == "--quadratic") else if (arg == "--quadratic")

29
vmArithmeticTestFiller.json
View File

@ -4847,6 +4847,35 @@
} }
}, },
"signextend_Overflow_dj42": {
"env" : {
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",
"currentNumber" : "0",
"currentGasLimit" : "10000000",
"currentDifficulty" : "256",
"currentTimestamp" : "1",
"currentCoinbase" : "2adc25665018aa1fe0e6bc666dac8fc2697ff9ba"
},
"pre" : {
"0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6" : {
"balance" : "1000000000000000000",
"nonce" : "0",
"//" : "{ asm PUSH1 0x05 JUMP JUMPDEST STOP JUMPDEST PUSH2 0x8000 DUP1 PUSH9 0x01000000000000001 SIGNEXTEND PUSH2 0x8001 GT PUSH1 0x03 JUMPI PUSH4 0xbadf000d PUSH1 0x11 SSTORE}",
"code" : "0x6005565b005b61800080680100000000000000010b6180011160035763badf000d601155",
"storage": {}
}
},
"exec" : {
"address" : "0f572e5295c57f15886f9b263e2f6d2d6c7b5ec6",
"origin" : "cd1722f2947def4cf144679da39c4c32bdc35681",
"caller" : "cd1722f2947def4cf144679da39c4c32bdc35681",
"value" : "1000000000000000000",
"data" : "",
"gasPrice" : "100000000000000",
"gas" : "1000000"
}
},
"not1": { "not1": {
"env" : { "env" : {
"previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6", "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6",