NonameDevil

[solution.txt](https://github.com/user-attachments/files/19684057/solution.txt) [Input data: https://github.com/crytic/echidna-streaming-series/tree/main/part1/exercise1](https://github.com/crytic/echidna-streaming-series/tree/main/part1/exercise1) **1. Issue (coverage)** testMode: property coverage: false It creates covered.1744280926.html, on opening it: "Coverage map is empty" testMode: assertion coverage: false It creates covered.1744281063, on opening...

**1. Issue (coverage)** testMode: property - I empty corpusDir covered.1744292161.html created with "Coverage map is empty" Expected: not to be created as coverage: false testMode: assertion - I empty corpusDir...

### NEW ISSUE AROSE! Wrong naming [Input data: https://github.com/crytic/echidna-streaming-series/tree/main/part1/exercise1](https://github.com/crytic/echidna-streaming-series/tree/main/part1/exercise1) In the example above I added a WETH entity: IERC20 weth; and in the constructor: weth = IERC20(payable(0xC02aaA39b223FE8D0A0e5C4F27eAD9083C756Cc2)); ### Now the...