Emilio López

@0xalpharush I believe so! IIRC we switched the elements to a list instead of an iterable so they wouldn't get consumed on the first rounds of checks.

I am able to successfully build and analyze this repo (https://github.com/sherlock-audit/2024-04-interest-rate-model) as follows, using forge: 1. install npm dependencies (otherwise `forge build` fails) 2. run slither with `foundry-out-directory` pointing to...

@SquilliamX can you post the log of running the following commands? ``` slither . --foundry-out-directory artifacts/foundry/ --foundry-compile-all forge clean forge build --build-info ```

@SquilliamX do you still have foundry configured to write artifacts to `artifacts/foundry/`? are there any files on `artifacts/foundry/build-info/` after running `forge clean; forge build --build-info` ? can you post the...

This PR on hevm may resolve the issues on Windows https://github.com/ethereum/hevm/pull/484

@aviggiano hi! what version are you testing with? Can you check if there is any improvement with a build from PRs #1243 or #1245?

hm no idea here, it seems to be an error from vty. What OS / terminal emulator are you using @aviggiano? does it happen if you use a different terminal...

@arcz was there anything else you wanted to tackle in this issue other than the config file?

Hi @rappie! The message is `Running slither on ${TARGET}...`. https://github.com/crytic/echidna/blob/3f82caf9d6d8ae2eb6ba39f303a80a5d25510a40/lib/Echidna/SourceAnalysis/Slither.hs#L116 The same applies for the `Compiling ${TARGET}...` message https://github.com/crytic/echidna/blob/3f82caf9d6d8ae2eb6ba39f303a80a5d25510a40/lib/Echidna/Solidity.hs#L89 Are you using `.` as target (i.e. `echidna .`)? I guess...

HI @Phips0812, thanks for the report! We have seen this happening a few times in the recent weeks but we have not been able to pinpoint what causes it. There...