Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Created using remix-ide: Realtime Ethereum Contract Compiler and Runtime. Load this file by pasting this gists URL or ID at https://remix.ethereum.org/#version=soljson-v0.7.6+commit.7338295f.js&optimize=false&runs=200&gist=
//SPDX-License-Identifier: MIT
pragma solidity 0.6.12;
contract Exceptions {
mapping(address => uint64) public balanceReceived;
function receiveMoney() public payable {
assert(msg.value == uint64(msg.value));
balanceReceived[msg.sender] += uint64(msg.value);
assert(balanceReceived[msg.sender] >= uint64(msg.value));
}
function withdrawMoney(address payable _to, uint64 _amount) public {
require(_amount <= balanceReceived[msg.sender], "Not enough fund, aborting");
assert(balanceReceived[msg.sender] >= balanceReceived[msg.sender] - _amount);
balanceReceived[msg.sender] -= _amount;
_to.transfer(_amount);
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment