Code

test: superc20 tob properties#27

Code

Merged

0xteddybear merged 7 commits intotest/state-transitionsdefi-wonderland/optimism:test/state-transitionsfrom test/superc20-tob-propertiesdefi-wonderland/optimism:test/superc20-tob-propertiesCopy head branch name to clipboardAug 26, 2024

+96-8

Commits

Commits on Aug 23, 2024

• chore: add crytic/properties dependency

  0xteddybear

  committed
  612c137

• test: extend protocol properties so it also covers ToB erc20 properties

  0xteddybear

  committed
  4893fba

• chore: small linter fixes

  0xteddybear

  committed
  64b59fb

• docs: update property list

  0xteddybear

  committed
  dfd25cb

• test: handlers for remaining superc20 state transitions

  0xteddybear

  committed
  50f6e2e

• fix: disable ToB properties we are not using and guide the fuzzer a bit more

  0xteddybear

  committed
  1cbdfab

• fix: disable another ToB property not implemented by solady

  0xteddybear

  committed
  3b1af6c