Code

hevm 0.52#1153

Code

Merged

arcz merged 2 commits intomastercrytic/echidna:masterfrom hevm-0.52crytic/echidna:hevm-0.52Copy head branch name to clipboardDec 28, 2023

+283-258

Commits

Commits on Dec 27, 2023

• Small cleanup in execTxWith

  arcz

  committed
  7ca2cf7

  Copy full SHA for 7ca2cf7

Commits on Dec 28, 2023

• hevm: update to 0.52.0

  arcz

  committed
  ce70a8e

  Copy full SHA for ce70a8e