Ethereum, Solidity, Python, Blockchain, Cryptocurrency.
@given(amount=strategy('uint256', max_value=1000000)) def test_transfer_adjusts_balance(token, accounts, amount): from_balance = token.balanceOf(accounts[0]) to_balance = token.balanceOf(accounts[1]) token.transfer(accounts[1], amount, {'from': accounts[0]}) assert token.balanceOf(accounts[0]) ==