| workdir | Path to run action from. Note that `files`, `target`, `slither-config`, `mythril-contract`, and `config` are relative to this path | no | — |
| files | Solidity files to analyze | yes | — |
| echidna-contract | Contracts to analyze (comma-separated list) by Echidna | no | — |
| echidna-config | Config file for echidna (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 |
| target | The path of the project that Slither should analyze, relative to the repo root. | — | . |
| sarif | If provided, the path of the SARIF file to produce, relative to the repo root. | — | — |
| slither-args | Extra arguments to pass to Slither. | — | — |
| slither-config | The path to the Slither configuration file. By default, `./slither.config.json` is used if present. | — | — |
| fail-on | Cause the action to fail if Slither finds any findings of this severity or higher. By default it will fail if any finding is found | — | all |
| disable-slither | Disable Slither analysis | no | — |
| mythril-contract | The path of the contracts to analyze, relative to the repo root. (comma-separated list) | — | — |
| mythril-args | Extra arguments to pass to Mythril. | — | — |
| internal-github-workspace | — | — | ${{ toJSON(github.workspace) }} |