Skip to content

Instantly share code, notes, and snippets.

Created September 8, 2021 15:07
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
//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;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment