Code

Fixed wait bug when shrinking#584

Code

Merged

ggrieco-tob merged 4 commits intomastercrytic/echidna:masterfrom dev-wait-fixcrytic/echidna:dev-wait-fixCopy head branch name to clipboardJan 25, 2021

+42-10

Commits

Commits on Dec 24, 2020

• fixed wait bug when shrinking

  ggrieco-tob

  committed
  ae0d1a0

  Copy full SHA for ae0d1a0

• disabled MacOS CI

  ggrieco-tob

  committed
  5ac7fc7

  Copy full SHA for 5ac7fc7

• added tests

  ggrieco-tob

  committed
  2e9e1dd

  Copy full SHA for 2e9e1dd

Commits on Jan 25, 2021

• fixed test

  ggrieco-tob

  committed
  f4dbdd2

  Copy full SHA for f4dbdd2