Emilio López

Hi! could you please elaborate on what you expected, what you observe instead and what's broken? If you can provide a complete sample test case that'd be great too.

I get an instantly failing property with something resembling your example, so I'm not sure I follow. ``` contract Counter { function property_canWithdrawAll() public returns (bool) { withdrawAll(); } function...

Hi! Can you post your echidna config? in particular, do you have anything added to cryticArgs or solcArgs? Can you also confirm if the following works and prints 0 at...

What does your project look like? What compilation framework are you using? Can you confirm if a simpler project works on your setup? For example ``` mkdir ~/example cd ~/example...

The "Running slither failed" error message roughly translates to "`slither` exited with non-zero code" so you should consider why that might be and what differences there might be with your...

hm, interesting. Can you prepare a small testcase that shows the issue to try and debug this further?

Thanks, I can reproduce the failure locally with Slither. I'll move the issue to the Slither repo so it can be addressed there, as it is not a problem on...

Are you using any cheatcodes as part of doSomething? I'm not sure how they're priced in medusa, but that might be different.

Hi! Does your network connectivity in WSL work fine otherwise? Can you confirm both the following commands work and show you some JSON? ```sh curl https://raw.githubusercontent.com/crytic/solc/new-list-json/linux/amd64/list.json -v ``` ```sh curl...

If you have the possibility, could you try with a different internet provider/internet connection? Unfortunately that server that does not seem to work from your computer is an external server...