c-major-dev

my echidna config: ``` # Config wiki: https://github.com/crytic/echidna/wiki/Config testMode: "assertion" testLimit: 999999999999999999 # unlimited deployer: "0x10000" ``` I did the test with these commands: ``` crytic-compile --solc-disable-warnings --export-format solc ./...

@elopez It appears that the slither analysis in the echidna test fails due to an assertion in the contract: ``` assert(IERC20(WETH).balanceOf(address(player1))

@elopez sure. You can use this test case: ```sh mkdir ~/example cd ~/example forge init ``` ``` pragma solidity ^0.8.13; contract Counter { uint256 public number; function setNumber(uint256 newNumber) public...