diff options
| author | Yoichi Hirai <i@yoichihirai.com> | 2017-07-06 23:59:12 +0800 |
|---|---|---|
| committer | Yoichi Hirai <i@yoichihirai.com> | 2017-07-06 23:59:12 +0800 |
| commit | 8b65c8ea630a053e675c9a176ab9fc4e3311556c (patch) | |
| tree | a31fd724ab42e014f42ad3e0575c69a1d73199b8 /src/GeneralStateTestsFiller | |
| parent | 9dd551b4aaa6b12d2a90940f505eb12d295889fa (diff) | |
| download | tangerine-tests-8b65c8ea630a053e675c9a176ab9fc4e3311556c.tar tangerine-tests-8b65c8ea630a053e675c9a176ab9fc4e3311556c.tar.gz tangerine-tests-8b65c8ea630a053e675c9a176ab9fc4e3311556c.tar.bz2 tangerine-tests-8b65c8ea630a053e675c9a176ab9fc4e3311556c.tar.lz tangerine-tests-8b65c8ea630a053e675c9a176ab9fc4e3311556c.tar.xz tangerine-tests-8b65c8ea630a053e675c9a176ab9fc4e3311556c.tar.zst tangerine-tests-8b65c8ea630a053e675c9a176ab9fc4e3311556c.zip | |
Add a case where exp length is 2^64
Diffstat (limited to 'src/GeneralStateTestsFiller')
| -rw-r--r-- | src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json | 22 |
1 files changed, 20 insertions, 2 deletions
diff --git a/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json b/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json index db2feefcb..c18e4fa7f 100644 --- a/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json +++ b/src/GeneralStateTestsFiller/stPreCompiledContracts/modexpFiller.json @@ -41,6 +41,22 @@ } } }, + { + "indexes" : { + "data" : [29], + "gas" : -1, + "value" : -1 + }, + "network" : ["Metropolis"], + "result" : { + "1000000000000000000000000000000000000000" : { + "storage" : { + "0x01" : "0x01", + "0x02" : "0x00" + } + } + } + }, { "indexes" : { "data" : [1,5,8,9,10,12,13,15,18,19,20,21,22,23,24], @@ -181,7 +197,8 @@ "25 - Price calculation when baseLength > modLength", "26 - bigint_expmod precompiled contract returns 1 for 0 ^ 0 mod 100", "27 - 02 ** 03 % 06, but exp with 256 bytes of zero in front.", - "28 - base length 2^64" + "28 - base length 2^64", + "29 - exp length 2^64; returns 0 because mod is zero" ], "data" : [ "0x00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000002003fffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffc2efffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffc2f", @@ -212,7 +229,8 @@ "0x000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000001001001010010", "0x000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000001000064", "0x0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000010100000000000000000000000000000000000000000000000000000000000000020200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000030006", -"0x00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000" +"0x00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", +"0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000" ], "gasLimit" : [ "100000000" |