Skip to content
Action

Print total calls as part of the stats on exit #1287

Sign in to view logs

Print total calls as part of the stats on exit

Print total calls as part of the stats on exit #1287

Workflow file for this run

.github/workflows/action.yml at 51a847a
name: Action
on:
push:
branches:
- master
pull_request:
branches:
- master
jobs:
test:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Assert test
uses: crytic/echidna-action@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@v2
with:
files: "tests/solidity/basic/multi-abi.sol"
contract: "B"
multi-abi: true
solc-version: 0.7.6
negate-exit-status: 1