Ethereum, Solidity, Python, Blockchain, Cryptocurrency.
from_balance - amount assert token.balanceOf(to) == to_balance + amount Note that when using exclude, you should also include a separate test for the excluded value(s). Where to Start To learn more about property-based testing for smart contracts, check out the Brownie Property-Based Testing