Code

Test/invariant tests (Draft)#156

Code

Merged

clemlak merged 26 commits intofeat/not-token0-testswhetstoneresearch/doppler:feat/not-token0-testsfrom test/invariant-testswhetstoneresearch/doppler:test/invariant-testsCopy head branch name to clipboardNov 4, 2024

+234-29

Commits

Commits on Oct 23, 2024

• test: fix wrong asset and numeraire pair in DopplerHandler

  clemlak

  committed
  710bdfc

  Copy full SHA for 710bdfc

• test: uncomment DopplerInvariantsTest, warp to default starting time

  clemlak

  committed
  ba1984b

  Copy full SHA for ba1984b

• test: add address labels

  clemlak

  committed
  785fa52

  Copy full SHA for 785fa52

• test: track actor asset balance and update reserves in handler function

  clemlak

  committed
  8ecf388

  Copy full SHA for 8ecf388

• test: track totalTokensSold, fix reserves tracking

  clemlak

  committed
  c6e633d

  Copy full SHA for c6e633d

• test: add buyExactAmountOut handler

  clemlak

  committed
  526c0ed

  Copy full SHA for 526c0ed

• test: add buyExactAmountOut selector, check totalTokensSold invariant

  clemlak

  committed
  44469d5

  Copy full SHA for 44469d5

• test: rename variables to improve readability

  clemlak

  committed
  71cb95e

  Copy full SHA for 71cb95e

• test: add missing transferFrom in sell

  clemlak

  committed
  b356907

  Copy full SHA for b356907

• test: add sellExactIn handler

  clemlak

  committed
  e0ed698

  Copy full SHA for e0ed698

• test: add sellExactIn selector

  clemlak

  committed
  77645d3

  Copy full SHA for 77645d3

• test: add sellExactOut handler function

  clemlak

  committed
  797aa45

  Copy full SHA for 797aa45

• test: add sellExactOut selector

  clemlak

  committed
  e885b4d

  Copy full SHA for e885b4d

• test: add invariant_TracksTotalTokensSoldAndProceeds

  clemlak

  committed
  6836159

  Copy full SHA for 6836159

• test: add ghost state variables to Handler

  clemlak

  committed
  085a92c

  Copy full SHA for 085a92c

• chore: remove unused imports

  clemlak

  committed
  dc7f56f

  Copy full SHA for dc7f56f

• test: add invariant_CantSellMoreThanNumTokensToSell

  clemlak

  committed
  09b5ecc

  Copy full SHA for 09b5ecc

• test: add invariant_AlwaysProvidesAllAvailableTokens

  clemlak

  committed
  0332247

  Copy full SHA for 0332247

• test: add invariant_LowerSlugWhenTokensSold

  clemlak

  committed
  55c388b

  Copy full SHA for 55c388b

Commits on Oct 24, 2024

• test: add invariant_PositionsDifferentTicks invariant test

  clemlak

  committed
  de26d48

  Copy full SHA for de26d48

• test: add invariant_CannotTradeUnderLowerSlug invariant check

  clemlak

  committed
  39121a6

  Copy full SHA for 39121a6

• test: add invariant_NoPriceChangesBeforeStart invariant check

  clemlak

  committed
  9480014

  Copy full SHA for 9480014

• test: update invariant_NoPriceChangesBeforeStart, add comment

  clemlak

  committed
  0f8d2e1

  Copy full SHA for 0f8d2e1

• test: remove fail on revert flag from invariant_NoPriceChangesBeforeStart

  clemlak

  committed
  d935c3d

  Copy full SHA for d935c3d

• test: add goNextEpoch handler function

  clemlak

  committed
  0e681b5

  Copy full SHA for 0e681b5

Commits on Nov 4, 2024

• test: skip broken invariant tests

  clemlak

  committed
  3d019c3

  Copy full SHA for 3d019c3