Code

test: remaining protocol properties#26

Code

Merged

0xteddybear merged 16 commits intofeat/invariant-testingdefi-wonderland/optimism:feat/invariant-testingfrom test/state-transitionsdefi-wonderland/optimism:test/state-transitionsCopy head branch name to clipboardAug 29, 2024

+419-109

Commits

Commits on Aug 23, 2024

• test: cross-user fuzzed bridges + actor setup

  0xteddybear

  committed
  e998667

• test: fuzz properties 8 and 9

  0xteddybear

  committed
  179fba2

• test: properties 7 and 25

  0xteddybear

  committed
  6b67194

• fix: implement doc's feedback

  0xteddybear

  committed
  96ecaad

Commits on Aug 26, 2024

• test: superc20 tob properties (#27)

  Show description for 3adeba5
  0xteddybear

  authored
  3adeba5

Commits on Aug 27, 2024

• chore: remove zero-initializations

  0xteddybear

  committed
  5e7eb87

• fix: feedback from disco

  0xteddybear

  committed
  403dc70

Commits on Aug 28, 2024

• chore: separate fuzz campaign tests in guided vs unguided

  0xteddybear

  committed
  dea79ce

• test: dont revert on successful unguided relay

  0xteddybear

  committed
  7bba3f0

• test: add fuzzed calls to burn and mint

  0xteddybear

  committed
  cd2b64b

Commits on Aug 29, 2024

• docs: document the separation of fuzz test functions

  0xteddybear

  committed
  231c6b5

• chore: move the properties file to its own directory

  0xteddybear

  committed
  e97fda0

• chore: consistently use fuzz_ and property_ + camelcase

  0xteddybear

  committed
  b081760

• chore: fix typo

  0xteddybear

  committed
  8a597a9

• chore: camelcase for handlers as well

  0xteddybear

  committed
  e26b9c3

• fix: revert change that broke halmos campaign compile :D

  0xteddybear

  committed
  c681a7c