Code

Update hevm with tweaks#1234

Code

Closed

elopez wants to merge 2 commits intomastercrytic/echidna:masterfrom dev-gc-tweak-2crytic/echidna:dev-gc-tweak-2Copy head branch name to clipboard

+8-6

Commits

Commits on Apr 2, 2024

• Adjust default GC allocation area

  Show description for b6ca52c
  elopez

  committed
  b6ca52c

  Copy full SHA for b6ca52c

Commits on Apr 4, 2024

• Upgrade hevm version

  Show description for 65339ff
  elopez

  committed
  65339ff

  Copy full SHA for 65339ff