Emilio López

Results 175 comments of Emilio López

Hi @beauwilliams, thanks for the feature request! You can currently (indirectly) achieve this with `slither . --config-file foobar` -- if `foobar` does not exist or is not a valid config...

Hi @KirylMoisa, thanks for the report. Can you still reproduce this issue after cleaning the artifacts with `hardhat clean` and removing `crytic-export` if present, and then having them rebuilt? See...

You should be able to install from Git with `pip install --user .` using the built-in python on Mac. If you have Homebrew python, `pip install .` works too. A...

Hi @TsigelnikovNikita, thanks for the report! Can you confirm if this also happens with the latest slither release (0.8.3)? If it does, can you share a sample project where you...

Thanks for the PR @pcaversaccio & apologies for the delayed review! I've left some comments inline, but overall this looks ok. The only thing that needs to be addressed is...

It looks like the CI test fails @pcaversaccio 🤔 could you take a look? I suspect it might need solc-select install & use 0.8.0 in the script (the pipeline runs...

@pcaversaccio the tests install slither from `dev` (or whatever the PR branch is built off of) source code, which already has the changes in #1196 merged in, so the tests...

Hi @Andriy-Kulak, thanks for the suggestion. This can change depending on how you installed Python on your Mac, and is not something slither-specific. When required, `pip` will print a colored...

Most of the changes here have been implemented through other PRs, so I'll close this.

> > Please try #871 > > How? the change in #871 has been merged, if you install the latest echidna version (2.0.5) it should be included in it 👍