Echidna fuzzing question for interesting problem faced #1374
Unanswered
bbresearcher
asked this question in
Q&A
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
-
Hi All,
Please can I ask if anyone has run into this situation before? (I did need to comment out two methods that caused an error
'NoneType' object has no attribute 'parameters'but after that the compile works fine).Project was originally a hardhat that I converted to use Foundry, I wrote a foundry test just to be sure it compiles and deploys and that is all fine.
echidna . --contract myContract --config echidna.yaml --format text --workers 16 --test-limit 1000000I get this error
and that works fine.
This also works fine
Is there any other way I can check why I am getting this error? (I also tried running the docker image rather than my local install to be sure it was not environmental but the docker image does not have foundry installed and if you install foundry it needs git).
Beta Was this translation helpful? Give feedback.
All reactions