Skip to content

Merge pull request #149 from 0xjoaovpsantos/issue-119-adding-receiver… #85

Merge pull request #149 from 0xjoaovpsantos/issue-119-adding-receiver…

Merge pull request #149 from 0xjoaovpsantos/issue-119-adding-receiver… #85

Workflow file for this run

name: Fuzz Testing
on:
push:
branches:
- main
pull_request:
jobs:
echidna:
name: Echidna
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
testName:
- TestFactory
- TestSwaplace
env:
DEPLOYER_PRIVATE_KEY: ${{ vars.DEPLOYER_PRIVATE_KEY }}
steps:
- uses: actions/checkout@v2
- name: Set up node
uses: actions/setup-node@v1
with:
node-version: 18.16.0
- name: Set up Python 3.8
uses: actions/setup-python@v2
with:
python-version: 3.8
- name: Install node dependencies
run: yarn install
- name: Install pip3
run: |
python -m pip install --upgrade pip
- name: Install slither
run: |
pip3 install slither-analyzer
- name: Install echidna
run: |
sudo wget -O /tmp/echidna-2.2.1-Linux.zip https://github.com/crytic/echidna/releases/download/v2.2.1/echidna-2.2.1-Linux.zip
sudo unzip /tmp/echidna-2.2.1-Linux.zip -d /usr/bin
sudo tar -xf /usr/bin/echidna.tar.gz -C /usr/bin
sudo chmod +x /usr/bin/echidna
- name: Run ${{ matrix.testName }} as properties
run: echidna . --contract ${{ matrix.testName }} --test-mode property --config echidna.config.yml
- name: Run ${{ matrix.testName }} as assertion
run: echidna . --contract ${{ matrix.testName }} --test-mode assertion --config echidna.config.yml