echidna icon indicating copy to clipboard operation
echidna copied to clipboard

Published 20 hours ago • verified publisher icon crytic

*wait* (NoCall) fails to be shrinked when one of its values is zero

Open gustavo-grieco opened this issue 4 years ago • 0 comments

https://github.com/crytic/echidna/blob/4af9a3dfe9ac3a0569fed93515688b798492ea51/lib/Echidna/Transaction.hs#L100-L106

gustavo-grieco avatar Dec 04 '20 22:12 gustavo-grieco