From ce3e86ccb1e382fa3428f04a77289bd35cb1b0a0 Mon Sep 17 00:00:00 2001 From: Jongseung Lim Date: Wed, 28 Feb 2024 18:55:15 -0500 Subject: [PATCH 1/2] feat: add rpc-url and rpc-block action inputs --- action.yml | 10 +++++++++- entrypoint.sh | 4 ++-- 2 files changed, 11 insertions(+), 3 deletions(-) diff --git a/action.yml b/action.yml index 340f5ca..c26139a 100644 --- a/action.yml +++ b/action.yml @@ -3,7 +3,7 @@ name: "echidna-action" description: "Run Echidna, the smart contract fuzzer" branding: - icon: 'shield' + icon: 'shield' color: 'red' inputs: @@ -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 @@ -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 }} diff --git a/entrypoint.sh b/entrypoint.sh index b176cdc..90d0c24 100755 --- a/entrypoint.sh +++ b/entrypoint.sh @@ -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" From 4cb3e6f543d39e004fbf9de5899b08685f4699be Mon Sep 17 00:00:00 2001 From: "Jongseung (John) Lim" Date: Thu, 29 Feb 2024 11:39:04 -0500 Subject: [PATCH 2/2] chore: update README.md --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 0bf8f90..6688f50 100644 --- a/README.md +++ b/README.md @@ -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.