Update dependencies (#616)

* deps/plugin: update submodule * web3: make sure to unparse addresses in width 20 * tests/web3/erc20/erc20detailed-partial: add remaining test * tests/{failing.web3,web3/erc20,erc20detailed}: remove now unneeded test
runtimeverification · Dec 11, 2019 · 3c0be77 · 3c0be77
1 parent 0aef385
commit 3c0be77
Show file tree

Hide file tree

Showing 7 changed files with 319 additions and 860 deletions.
diff --git a/deps/plugin b/deps/plugin
diff --git a/tests/failing.web3 b/tests/failing.web3
@@ -1,5 +1,4 @@
 tests/web3/erc20/erc20capped.in.json
-tests/web3/erc20/erc20detailed.in.json
 tests/web3/erc20/tokentimelock.in.json
 tests/web3/net_version_notification.in.json
 tests/web3/batch_all_notification.in.json

diff --git a/tests/web3/erc20/erc20detailed-partial.expected.json b/tests/web3/erc20/erc20detailed-partial.expected.json
diff --git a/tests/web3/erc20/erc20detailed-partial.in.json b/tests/web3/erc20/erc20detailed-partial.in.json
diff --git a/tests/web3/erc20/erc20detailed.expected.json b/tests/web3/erc20/erc20detailed.expected.json
diff --git a/tests/web3/erc20/erc20detailed.in.json b/tests/web3/erc20/erc20detailed.in.json
diff --git a/web3.md b/web3.md
@@ -917,7 +917,7 @@ Transaction Receipts
                                   , "to": #unparseAccount(TT)
                                   , "gasUsed": #unparseQuantity(CGAS)
                                   , "cumulativeGasUsed": #unparseQuantity(CGAS)
-                                  , "contractAddress": #if TT ==K .Account #then #unparseQuantity(#newAddr(TXFROM, NONCE -Int 1)) #else null #fi
+                                  , "contractAddress": #if TT ==K .Account #then #unparseData(#newAddr(TXFROM, NONCE -Int 1), 20) #else null #fi
                                   , "logs": [#serializeLogs(LOGS, 0, TXID, TXHASH, "0x" +String Keccak256(#rlpEncodeBlock(BLOCKITEM)), BN)]
                                   , "status": #unparseQuantity(TXSTATUS)
                                   , "logsBloom": #unparseDataByteArray(BLOOM)