Component: Falcon Finance token

Description

The Falcon Finance (FF) token is implemented using the immutable OpenZeppelin ERC20↗ contract with ERC20Permit↗ support. This token uses 18 default decimals. The total supply is fixed at 10,000,000,000 FF tokens and cannot be increased. The FF token is supposed to be deployable to any EVM-compatible chain.

Invariants

• The total supply must equal the sum of all account balances.

• For all accounts, balanceOf(account) >= 0.

• Allowances do not grant more transfer rights than intended; transferFrom must check allowance and deduct it correctly.

• The Transfer event is emitted on every balance change; Approval is emitted on allowance changes.

Test coverage

Cases covered

• Deployment: name == 'Falcon Finance', symbol == 'FF', decimals == 18, totalSupply == 10,000,000,000 FF, and balanceOf(recipient) == 10,000,000,000 FF.

• Both transfer and transferFrom succeed and update balances.

• When allowance is insufficient, transferFrom should revert.

• The approve allowance increases correctly.

• approve with zero amount succeeds.

• transfer with zero amount succeeds.

• When balance < amount, transfer should revert.