Code

help: foundry assertions#38

Code

Closed

0xteddybear wants to merge 24 commits intotest/non-atomic-bridgingdefi-wonderland/optimism:test/non-atomic-bridgingfrom help/foundry-assertionsdefi-wonderland/optimism:help/foundry-assertionsCopy head branch name to clipboard

+710-119

Commits

Commits on Aug 23, 2024

• test: cross-user fuzzed bridges + actor setup

  0xteddybear

  committed
  e998667

  Copy full SHA for e998667

• test: fuzz properties 8 and 9

  0xteddybear

  committed
  179fba2

  Copy full SHA for 179fba2

• test: properties 7 and 25

  0xteddybear

  committed
  6b67194

  Copy full SHA for 6b67194

• fix: implement doc's feedback

  0xteddybear

  committed
  96ecaad

  Copy full SHA for 96ecaad

Commits on Aug 26, 2024

• test: superc20 tob properties (#27)

  Show description for 3adeba5
  0xteddybear

  authored
  3adeba5

  Copy full SHA for 3adeba5

Commits on Aug 27, 2024

• chore: remove zero-initializations

  0xteddybear

  committed
  5e7eb87

  Copy full SHA for 5e7eb87

• fix: feedback from disco

  0xteddybear

  committed
  403dc70

  Copy full SHA for 403dc70

Commits on Aug 28, 2024

• chore: separate fuzz campaign tests in guided vs unguided

  0xteddybear

  committed
  dea79ce

  Copy full SHA for dea79ce

• test: dont revert on successful unguided relay

  0xteddybear

  committed
  7bba3f0

  Copy full SHA for 7bba3f0

• test: add fuzzed calls to burn and mint

  0xteddybear

  committed
  cd2b64b

  Copy full SHA for cd2b64b

Commits on Aug 29, 2024

• docs: document the separation of fuzz test functions

  0xteddybear

  committed
  231c6b5

  Copy full SHA for 231c6b5

• test: changed mocked messenger ABI for message sending but kept assertions the same

  0xteddybear

  committed
  bf2a577

  Copy full SHA for bf2a577

• docs: add new properties 26&27

  0xteddybear

  committed
  b316e0f

  Copy full SHA for b316e0f

• test: queue cross-chain messages and test related properties

  0xteddybear

  committed
  45df1d7

  Copy full SHA for 45df1d7

• test: relay random messages from queue and check associated invariants

  0xteddybear

  committed
  2e7b0e8

  Copy full SHA for 2e7b0e8

• chore: rename bridge->senderc20 method for consistency with relayerc20

  0xteddybear

  committed
  b35b437

  Copy full SHA for b35b437

• test: not-yet-deployed supertokens can get funds sent to them

  0xteddybear

  committed
  32b7347

  Copy full SHA for 32b7347

• chore: medusa runs forever by default

  Show description for 186e2e5
  0xteddybear

  committed
  186e2e5

  Copy full SHA for 186e2e5

• chore: document the reason behind relay zero and send zero inconsistencies

  0xteddybear

  committed
  ad4e898

  Copy full SHA for ad4e898

• fix: feedback from doc

  0xteddybear

  committed
  edb6ce0

  Copy full SHA for edb6ce0

• fix: walk around possible medusa issue

  Show description for 1760e4a
  0xteddybear

  committed
  1760e4a

  Copy full SHA for 1760e4a

• chore: track assertion failures

  Show description for ef58dec
  0xteddybear

  committed
  ef58dec

  Copy full SHA for ef58dec

• wip

  0xteddybear

  committed
  b362a01

  Copy full SHA for b362a01

• wip: reproduce-able issue

  0xteddybear

  committed
  17c14bf

  Copy full SHA for 17c14bf