Code

Check variable debt token#5

Code

Merged

MichaelMorami merged 8 commits intocertora/cvl2Certora/gho-core:certora/cvl2from check_variable_debt_tokenCertora/gho-core:check_variable_debt_tokenCopy head branch name to clipboardNov 22, 2023

+153-14

Commits

Commits on Nov 19, 2023

• add balanceIncrease_ge_previousScaledBalance_gt

  gadicer

  committed
  f55575e

  Copy full SHA for f55575e

Commits on Nov 20, 2023

• add accumulated_interest_increase_after_mint to CI

  gadicer

  committed
  ee2563c

  Copy full SHA for ee2563c

• comment out timeout rule

  gadicer

  committed
  f1dd725

  Copy full SHA for f1dd725

Commits on Nov 21, 2023

• add user_index_ge_one_ray

  gadicer

  committed
  4c57bfe

  Copy full SHA for 4c57bfe

• add nonzeroNewDiscountToken

  gadicer

  committed
  4ced4c8

  Copy full SHA for 4ced4c8

• inherit harness

  gadicer

  committed
  d501279

  Copy full SHA for d501279

• merged other mutatnts

  gadicer

  committed
  9499d11

  Copy full SHA for 9499d11

• use discountCantExceedDiscountRate

  gadicer

  committed
  b58f375

  Copy full SHA for b58f375