Echidna doesn't work

[ZeframLou]

Running echidna-test in the container outputs Killed regardless of the input options.

• Docker version: v20.10.6
• OS: macOS 11.2.3
• Processor: Apple M1
• Image ID: 2ad73f16de91

[damianrusinek]

Try to increase RAM in Docker resources.

For future similar issues run container with --privileged option and after the issue run sudo dmesg in container to diagnose the problem.

[genisis0x]

it also not working can you suggest something other than that?

[ggrieco-tob]

@elopez is taking a look to the Docker containers right now

[elopez]

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 around ~7GB by itself. At this time I would recommend setting up Docker Desktop to at least 8GB of memory to allow echidna to run without being killed due to lack of memory:

I can confirm that echidna-test runs and can fuzz a simple contract with this configuration and the current eth-security-toolbox amd64 image on an M1 Pro MacBook.

[rac-sri]

Thanks for the fix @elopez !! That worked !!

[vantwoutmaarten]

if you have a bit more than a simple test you need to increase the memory a bit! You can also see the memory hitting around its limits in the desktop monitoring.