xbalbinus/medusa-action
Run Medusa, the coverage-guided smart contract fuzzer
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
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 medusa's output into this file. The path must be relative to the repository root. | no | — |
| negate-exit-status | Apply logical NOT to medusa-test's exit status (for testing the action) | no | — |
| medusa-version | Version of the Medusa Docker image to use | no | latest |
| medusa-workdir | Path to run medusa-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 medusa-test's output, relative to the repository root. |