Last active
October 24, 2019 13:19
-
-
Save shingonu/7e86c957a561bafe00df537bdfd9cfdb to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| behaviour transfer of Token | |
| interface transfer(address To, uint256 Value) | |
| types | |
| FromBal : uint256 | |
| ToBal : uint256 | |
| storage | |
| #hashedLocation("Solidity", 0, CALLER_ID) |-> FromBal => FromBal - Value | |
| #hashedLocation("Solidity", 0, To) |-> ToBal => ToBal + Value | |
| iff in range uint256 | |
| FromBal - Value | |
| ToBal + Value | |
| if | |
| VGas >= 100000 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment