Giters

zapaz / static-a-token-v3

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

totalAssets reverts

zapaz opened this issue · comments

commented

ERC4626 : totalAssets MUST NOT revert

totalAssets reverts with large number of assets and large rate

not ERC4626 compliant

rule totalAssetsMustNotRevert(env e) {
  require e.msg.value == 0;

  totalAssets@withrevert(e);

  assert !lastReverted , "ERC4626 : totalAssets MUST NOT revert";
}