echidna/.github/workflows/action.yml at master · crytic/echidna · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
name: Action

on:
  push:
    branches:
      - master
  pull_request:
    branches:
      - master

permissions:
  contents: read

jobs:
  test:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6
        with:
          persist-credentials: false

      - name: Assert test
        uses: crytic/echidna-action@f7e374e42bf7131f7307a92f5549ed6b2fd17c9d # v2
        with:
          files: "tests/solidity/basic/assert.sol"
          contract: "TestAssert"
          config: "tests/solidity/basic/assert.yaml"
          solc-version: 0.6.12
          negate-exit-status: 1

      - name: Multi-abi test
        uses: crytic/echidna-action@f7e374e42bf7131f7307a92f5549ed6b2fd17c9d # v2
        with:
          files: "tests/solidity/basic/multi-abi.sol"
          contract: "B"
          multi-abi: true
          solc-version: 0.7.6
          negate-exit-status: 1