We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Can any of the CLI arguments be optional by using defaults? I'd be happy just specifying fuzz-utils contracts/Contract.sol and it running with it
fuzz-utils contracts/Contract.sol
-cd
.corpus
-c
-td
test
-f
echidna
medusa
-i
The text was updated successfully, but these errors were encountered:
Resolved with PR #43
Sorry, something went wrong.
No branches or pull requests
Describe the desired feature
Can any of the CLI arguments be optional by using defaults?
I'd be happy just specifying
fuzz-utils contracts/Contract.sol
and it running with it-cd
default to.corpus
or some other?-c
be inferred if there is one main contract defined in the specified target?-td
betest
?-f
default to eitherechidna
/medusa
? Preferably medusa-i
be inferred, since the target and test directory are givenThe text was updated successfully, but these errors were encountered: