You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I don't think we have any reason to keep echidna-test instead of echidna. As far as I can remember we used echidna-test, because in its first iteration we had ideas for other tools. As we never explored them, it would probably make sense to just use echidna for simplicity
The text was updated successfully, but these errors were encountered:
I don't think we have any reason to keep
echidna-test
instead ofechidna
. As far as I can remember we usedechidna-test
, because in its first iteration we had ideas for other tools. As we never explored them, it would probably make sense to just useechidna
for simplicityThe text was updated successfully, but these errors were encountered: