medusa.yaml

name: Test examples using Medusa

on:
  push:
    branches:
      - main
  pull_request:
    branches:
      - "*"

env:
  FOUNDRY_PROFILE: ci

jobs:
  foundry:
    name: Test Foundry examples
    runs-on: ubuntu-latest
    steps:
      - name: Checkout repository
        uses: actions/checkout@v3
        with:
          submodules: recursive

      - name: Install Foundry
        uses: foundry-rs/foundry-toolchain@v1

      - name: Go setup
        uses: actions/setup-go@v4
        with:
            go-version: "^1.18.1"

      - name: Install medusa
        run: |
            git clone https://github.com/crytic/medusa.git
            cd medusa
            go build -o medusa -v .
            go install -v .
            sudo cp medusa /usr/bin
            pip install crytic-compile

      - name: Compile ERC20 Foundry example
        working-directory: tests/ERC20/foundry
        run: forge build --build-info

      - name: Run Medusa for Internal ERC20 tests
        working-directory: tests/ERC20/foundry
        run: |
          medusa fuzz --target-contracts CryticERC20InternalHarness --config medusa-config.json

      - name: Run Medusa for External ERC20 tests
        working-directory: tests/ERC20/foundry
        run: |
          medusa fuzz --target-contracts CryticERC20ExternalHarness --config medusa-config-ext.json

      - name: Compile ERC4646 Foundry example
        working-directory: tests/ERC4626/foundry
        run: forge build --build-info

      - name: Run Medusa for External ERC4626 tests
        working-directory: tests/ERC4626/foundry
        run: |
          medusa fuzz --target-contracts CryticERC4626InternalHarness --config medusa-config.json

  hardhat:
    name: Test Hardhat examples
    runs-on: ubuntu-latest
    steps:
      - name: Checkout repository
        uses: actions/checkout@v3
        with:
          submodules: recursive

      - name: Set up Nodejs
        uses: actions/setup-node@v3
        with:
          node-version: 16

      - name: Install dependencies and compile ERC20 example
        working-directory: tests/ERC20/hardhat
        run: |
          npm ci
          npx hardhat compile --force

      - name: Install dependencies and compile ERC4626 example
        working-directory: tests/ERC4626/hardhat
        run: |
          npm ci
          npx hardhat compile --force

      - name: Go setup
        uses: actions/setup-go@v4
        with:
            go-version: "^1.18.1"

      - name: Install medusa
        run: |
            git clone https://github.com/crytic/medusa.git
            cd medusa
            go build -o medusa -v .
            go install -v .
            sudo cp medusa /usr/bin
            pip install crytic-compile

      - name: Run Medusa for Internal ERC20 tests
        working-directory: tests/ERC20/hardhat
        run: |
          medusa fuzz --target-contracts CryticERC20InternalHarness --config medusa-config.json

      - name: Run Medusa for External ERC20 tests
        working-directory: tests/ERC20/hardhat
        run: |
          medusa fuzz --target-contracts CryticERC20ExternalHarness --config medusa-config-ext.json

      - name: Run Medusa for External ERC4626 tests
        working-directory: tests/ERC4626/hardhat
        run: |
          medusa fuzz --target-contracts CryticERC4626Harness --config medusa-config.json