Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

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

Jump to bottom

feat: add rpc configs rpc-block and rpc-url to inputs #21

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

feat: add rpc configs rpc-block and rpc-url to inputs #21

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
ce3e86c
feat: add rpc-url and rpc-block action inputs
penandlim Feb 28, 2024
4cb3e6f
chore: update README.md
penandlim Feb 29, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,8 @@ pages](https://github.com/crytic/echidna/wiki).
| `test-mode` | Type of tests to be performed: property, assertion, overflow, optimization, exploration.
| `multi-abi` | Use multi-abi mode of testing.
| `test-limit` | Number of sequences of transactions to generate during testing.
| `rpc-block` | Block number to use when fetching over RPC.
| `rpc-url` | Fetch contracts over a RPC URL.
| `shrink-limit` | Number of tries to attempt to shrink a failing sequence of transactions.
| `seq-len` | Number of transactions to generate during testing.
| `contract-addr` | Address to deploy the contract to test.
Expand Down
10 changes: 9 additions & 1 deletion action.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ name: "echidna-action"
description: "Run Echidna, the smart contract fuzzer"

branding:
icon: 'shield'
icon: 'shield'
color: 'red'

inputs:
Expand Down Expand Up @@ -31,6 +31,12 @@ inputs:
test-limit:
description: "Number of sequences of transactions to generate during testing"
required: false
rpc-block:
description: "Block number to use when fetching over RPC"
required: false
rpc-url:
description: "Fetch contracts over a RPC URL"
required: false
shrink-limit:
description: "Number of tries to attempt to shrink a failing sequence of transactions"
required: false
Expand Down Expand Up @@ -106,6 +112,8 @@ runs:
INPUT_TEST-MODE: ${{ inputs.test-mode }}
INPUT_MULTI-ABI: ${{ inputs.multi-abi }}
INPUT_TEST-LIMIT: ${{ inputs.test-limit }}
INPUT_RPC-BLOCK: ${{ inputs.rpc-block }}
INPUT_RPC-URL: ${{ inputs.rpc-url }}
INPUT_SHRINK-LIMIT: ${{ inputs.shrink-limit }}
INPUT_SEQ-LEN: ${{ inputs.seq-len }}
INPUT_CONTRACT-ADDR: ${{ inputs.contract-addr }}
Expand Down
4 changes: 2 additions & 2 deletions entrypoint.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,8 @@

set -eu

OPTIONS="contract config format corpus-dir test-limit test-mode shrink-limit \
seq-len contract-addr deployer sender seed crytic-args solc-args"
OPTIONS="contract config format corpus-dir test-limit test-mode rpc-block rpc-url \
shrink-limit seq-len contract-addr deployer sender seed crytic-args solc-args"

SWITCHES="multi-abi"

Expand Down