search

SRI-CSL / solidity

This is solc-verify, a modular verifier for Solidity.
https://github.com/SRI-CSL/solidity/blob/boogie/SOLC-VERIFY-README.md
GNU General Public License v3.0
50 stars 14 forks source link

[0.7] Unsupported special member: timestamp #162

Closed hajduakos closed 3 years ago

hajduakos commented 4 years ago

Since 0.7 "The global variable now is deprecated, block.timestamp should be used instead.", however we do not support that yet, see transactions/SpecialMembers.sol:

> test/solc-verify/transactions/SpecialMembers.sol:7:21: solc-verify error: Member without corresponding declaration: timestamp
> test/solc-verify/transactions/SpecialMembers.sol:10:21: solc-verify error: Member without corresponding declaration: timestamp
> test/solc-verify/transactions/SpecialMembers.sol:6:5: solc-verify warning: Errors while translating function body, will be skipped
hajduakos commented 3 years ago

Fixed in 06a2252c348440a6ae347ab09e73d2e22513ebd6, now was removed and block.timestamp was added