diff options
| author | CJentzsch <jentzsch.software@gmail.com> | 2015-03-12 23:53:00 +0800 |
|---|---|---|
| committer | CJentzsch <jentzsch.software@gmail.com> | 2015-03-12 23:53:00 +0800 |
| commit | b5ed5d13d1f8733a8aadbb4df75aa51a8f9cbd06 (patch) | |
| tree | f87a98959456f122087d931b48fc18626e63687b | |
| parent | 67fae64c9f4b719007ae4b256bee0dc19b5020db (diff) | |
| download | dexon-solidity-b5ed5d13d1f8733a8aadbb4df75aa51a8f9cbd06.tar.gz dexon-solidity-b5ed5d13d1f8733a8aadbb4df75aa51a8f9cbd06.tar.zst dexon-solidity-b5ed5d13d1f8733a8aadbb4df75aa51a8f9cbd06.zip | |
readd --filltest option and add dejavu issue 42 test
| -rw-r--r-- | TestHelper.cpp | 2 | ||||
| -rw-r--r-- | vmArithmeticTestFiller.json | 29 |
2 files changed, 31 insertions, 0 deletions
diff --git a/TestHelper.cpp b/TestHelper.cpp index fcca4630..a2e1eaf1 100644 --- a/TestHelper.cpp +++ b/TestHelper.cpp @@ -549,6 +549,8 @@ Options::Options() } else if (arg == "--vmtrace") vmtrace = true; + else if (arg == "--filltests") + fillTests = true; else if (arg == "--performance") performance = true; else if (arg == "--quadratic") diff --git a/vmArithmeticTestFiller.json b/vmArithmeticTestFiller.json index 81dbf052..19224cc2 100644 --- a/vmArithmeticTestFiller.json +++ b/vmArithmeticTestFiller.json @@ -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": { "env" : { "previousHash" : "5e20a0453cecd065ea59c37ac63e079ee08998b6045136a8ce6635c7912ec0b6", |