Code

Update hevm to 0.50.1#884

Code

Merged

ggrieco-tob merged 6 commits intomastercrytic/echidna:masterfrom hevm-0.50.1crytic/echidna:hevm-0.50.1Copy head branch name to clipboardJan 3, 2023

+207-186

Commits

Commits on Dec 31, 2022

• Update hevm to 0.50.1

  arcz

  committed
  638663a

• Fix hlint

  arcz

  committed
  e909bc6

Commits on Jan 1, 2023

• Fix warnings

  arcz

  committed
  3e7c082

• Fix warnings in tests

  arcz

  committed
  f99462a

Commits on Jan 2, 2023

• Optimize genDelay and genValue

  arcz

  committed
  29a046f

Commits on Jan 3, 2023

• Document dictValues

  arcz

  committed
  c8fa5fb