Code

chore: fuzz sym fixes#190

Code

Merged

wei3erHase merged 4 commits intofeat/fuzz-symb-testsdefi-wonderland/balancer-v1-amm:feat/fuzz-symb-testsfrom chore/fuzz-sym-fixesdefi-wonderland/balancer-v1-amm:chore/fuzz-sym-fixesCopy head branch name to clipboardAug 2, 2024

+75-111

Commits

Commits on Aug 1, 2024

• test: deal with previously commented code

  0xteddybear

  committed
  5459229

• chore: pass name and symbol to ForTest contracts

  0xteddybear

  committed
  e632226

Commits on Aug 2, 2024

• fix: work around hevm not supporting mcopy

  0xteddybear

  committed
  eb3e148

• fix: remove unprovable property and replace it with two provable ones

  0xteddybear

  committed
  a5458ac