Skip to content

Refactors in Exec.hs #1247

Refactors in Exec.hs

Refactors in Exec.hs #1247

Workflow file for this run

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