crytic/echidna-action
Run Echidna, the smart contract fuzzer
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stalelast commit Apr 12, 2023
- License
- AGPL 3.0
Pinned Snippet
uses: crytic/echidna-action@f7e374e42bf7131f7307a92f5549ed6b2fd17c9d # v2.0.2tags can be moved; commit SHAs can't. why a SHA?
Inputs
| name | description | required | default |
|---|---|---|---|
| files | Solidity files to analyze | yes | — |
| contract | Contract to analyze | no | — |
| config | Config file (CLI arguments override config options) | no | — |
| format | Output format: json, text, none. Disables interactive UI | no | — |
| corpus-dir | Directory to store corpus and coverage data | no | — |
| test-mode | Type of tests to be performed | no | — |
| multi-abi | Use multi-abi mode of testing | no | — |
| test-limit | Number of sequences of transactions to generate during testing | no | — |
| shrink-limit | Number of tries to attempt to shrink a failing sequence of transactions | no | — |
| seq-len | Number of transactions to generate during testing | no | — |
| contract-addr | Address to deploy the contract to test | no | — |
| deployer | Address of the deployer of the contract to test | no | — |
| sender | Addresses to use for the transactions sent during testing | no | — |
| seed | Run with a specific seed | no | — |
| crytic-args | Additional arguments to use in crytic-compile for the compilation of the contract to test | no | — |
| solc-args | Additional arguments to use in solc for the compilation of the contract to test | no | — |
| solc-version | Version of the Solidity compiler to use | no | — |
| output-file | Capture echidna's output into this file. The path must be relative to the repository root. | no | — |
| negate-exit-status | Apply logical NOT to echidna-test's exit status (for testing the action) | no | — |
| echidna-version | Version of the Echidna Docker image to use | no | latest |
| echidna-workdir | Path to run echidna-test from. Note that `files` and `config` are relative to this path | no | — |
| internal-github-workspace | — | — | ${{ toJSON(github.workspace) }} |
Outputs
| name | description |
|---|---|
| output-file | If produced, the file containing echidna-test's output, relative to the repository root. |