Echidna fuzzing campaign is suboptimal and one property is broken

[gustavo-grieco]

Hello!,

I took a quick look to echidna fuzzing campaign, and it seems to be using a very old version of the tool. Additionally, the usage of a separated branch is no longer needed, as echidna supports deploying libraries.

On top of that, one of the properties in ChaosOps contract fails when you run it in with a recent Echidna release (I won't include any details here, until you take a look let me and let know how to proceed).

[julianmrodri]

Gustavo, thanks for looking into this. We've had some issues bumping echidna to newer versions for a while.. It would be great to check with you how you achieved this and was able to run slither and echidna on recent release so I can check this property. how can I reach you? Thanks!

PS: regarding the separate branch we will probably keep it like this for now because its no just the libraries, its some internal/private var changes plus even some other variables we add to a few contracts. But if at some point we have the bandwith could be something to tackle.

[julianmrodri]

Invariant fixed for the failing property. Thanks!