crytic / crytic/building-secure-contracts
Add Echidna recommendation for github action
Open
help wanted
high priority
- Dominant language
- Solidity
- Stars
- 2.5k
- Forks
- 391
- PR merge metrics
- No merged PRs in 30d
Description
- How to setup Echidna in a github action
- What values to set in `seqLen` / `testLimit`
- etc..
Contributor guide
Research direction
Locate the repository's documentation entry point for Echidna and GitHub Actions, then review the surrounding secure-contract guidance. Done means documenting how to set up Echidna in a GitHub Action and giving recommendations for seqLen and testLimit values, along with any other necessary setup details.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- github-actions, solidity
- Domain
- ci-cd, documentation
- Issue type
- Documentation
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100