EchidnaTestSupply

uint256 prevRebasingCreditsPerToken

function testChangeSupply(uint256 supply) public

After a changeSupply, the total supply should exactly match the target total supply. (This is needed to ensure successive rebases are correct).

Name	Type	Description
supply	uint256	New total supply

function testTotalSupplyLessThanTotalBalance() public

The total supply must not be less than the sum of account balances. (The difference will go into future rebases)

function testNonRebasingSupplyVsTotalSupply() public

Non-rebasing supply should not be larger than total supply

function testRebasingCreditsPerTokenNotIncreased() public

Global rebasingCreditsPerToken should never increase

function testRebasingCreditsPerTokenAboveZero() public

The rebasing credits per token ratio must greater than zero

function testTotalNonRebasingSupplyLessThanTotalBalance() public

The sum of all non-rebasing balances should not be larger than non-rebasing supply

function testCreditsPerTokenVsBalance(uint8 targetAcc) public

An accounts credits / credits per token should not be larger it's balance

Name	Type	Description
targetAcc	uint8	The account to check

EchidnaTestSupply​