Arron Patton

I'm running Debian 11 and have set the user namespace to enabled but still getting this error.

I can take a look if you can point me in the right direction. I'm am a novice but would love to help if I can. I'm not sure how...

Sounds good. I have created the issue: https://github.com/crytic/slither/issues/1202

I was going through this and got stuck on on 01-Fallback. It appears that the code has changed since the last time this has been attempted. The Fallback.sol contract is...

Yeah, I'm working through these but I'm pretty new to the whole space. I'm sure what the original table was indicating between what the :muscle: and the :mag: though. I'm...

> Hi! Here's a expanded reference of the original table: > > * muscle: Echidna breaks the invariant by itself or mostly by itself. The echidna-specific code needed contains an...

Hey @ggrieco-tob I have not had much time. I hope to get back to it this weekend.

Here is what I have so far. I'm going at this with the assumption that an individual may not know how to solve the challenge before running Echidna. | \#...

> This is great. The only suggestion I have so far is to include some comment on why Echidna cannot run in each example with no_entry_sign I've updated the table....

I have created added the information to the dictionary in PR https://github.com/crytic/slither/pull/1204