Code

Fix/fuzz tests improvements#178

Code

Merged

0xteddybear merged 11 commits intofeat/fuzz-symb-testsdefi-wonderland/balancer-v1-amm:feat/fuzz-symb-testsfrom fix/fuzz-tests-improvementsdefi-wonderland/balancer-v1-amm:fix/fuzz-tests-improvementsCopy head branch name to clipboardJul 29, 2024

+129-73

Commits

Commits on Jul 26, 2024

• chore: fix linter setup

  0xteddybear

  committed
  44cb948

• chore: update smocked files

  0xteddybear

  committed
  251edc6

• chore: add missing spdx identifier

  0xteddybear

  committed
  d2fabb8

• chore: add an npm script to run echidna tests

  0xteddybear

  committed
  1112382

• test: ensure SpotPriceAfterBelowSpotPriceBefore is never thrown

  0xteddybear

  committed
  57c17b0

• chore: fix natspec issues

  0xteddybear

  committed
  5a6dedf

• test: ensure fuzz_joinExitPool body is runnable

  0xteddybear

  committed
  7aa26c5

Commits on Jul 29, 2024

• chore: cleaning up fuzz (#179)

  Show description for bb04716
  wei3erHase

  authored
  bb04716

• chore: update test contract licenses

  0xteddybear

  committed
  cde0ea1

• test: document property 25

  0xteddybear

  committed
  d57436a

• chore: remove unimplemented function

  0xteddybear

  committed
  aac1f93