Emilio López
Emilio López
solc binaries are built for x86_64 linux, so if you're building arm64 linux containers (e.g. on a M1 Mac) they won't normally run. Older solc versions were fully static binaries,...
With the default 2GB of memory given by Docker Desktop, echidna will be `Killed` due to OOM (Out Of Memory). From my tests on M1 hardware, echidna-test on startup uses...
For each harness there's a few "seed" cases with human-readable names, plus some more inputs obtained through fuzzing, with hash-like filenames. We can probably remove the latter and let oss-fuzz...
The latest brownie now supports 3.10~3.12 https://github.com/eth-brownie/brownie/pull/1735 so we should be able to re-enable the tests
To add to the above, I cannot reproduce the issue locally either, both slither and slither-flat worked fine with `tableturn/tt-white-contracts` on branch `features/integrates-with-hardhat-deploy` with node v16.15.1, yarn 1.22.19, slither 0.8.3,...
Could you please confirm which version of crytic-compile you have installed? You can check it by running `crytic-compile --version` If it's not the latest (`0.2.2`) can you please upgrade it...
Possibly related: https://github.com/crytic/crytic-compile/issues/275
Foundry is also missing, as well as some config files
#249 should be a step in that direction.
Hi @MadhanBlockMath, that error indicates that the target file does not exist. Make sure the `mojito/sothebys/MarketPlace.sol` file is there and that you are running echidna from the correct directory.