From dedf7467e4460ef97386e75249d8ab38f5490c66 Mon Sep 17 00:00:00 2001 From: Quentin Garchery Date: Wed, 19 Jun 2024 15:15:49 +0200 Subject: [PATCH] fix: halmos deprecated argument --- .github/workflows/certora.yml | 2 +- .github/workflows/ci-foundry.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml index 04a1e36..a4ceaa0 100644 --- a/.github/workflows/certora.yml +++ b/.github/workflows/certora.yml @@ -41,6 +41,6 @@ jobs: echo "key length" ${#CERTORAKEY} make -C certora munged-simple make -C certora munged-fifo - certora certora/confs/${{ matrix.conf }}.conf + certoraRun certora/confs/${{ matrix.conf }}.conf env: CERTORAKEY: ${{ secrets.CERTORAKEY }} diff --git a/.github/workflows/ci-foundry.yml b/.github/workflows/ci-foundry.yml index 788599d..59ef57c 100644 --- a/.github/workflows/ci-foundry.yml +++ b/.github/workflows/ci-foundry.yml @@ -47,4 +47,4 @@ jobs: run: python3 -m pip install --upgrade halmos - name: Run halmos - run: halmos --function testProve --loop 4 --symbolic-storage --error-unknown --test-parallel --solver-parallel --solver-timeout-assertion 0 + run: halmos --function testProve --loop 4 --symbolic-storage --test-parallel --solver-parallel --solver-timeout-assertion 0