From c29c3bc1ee1e137eef05aeb2237807a78cb136a7 Mon Sep 17 00:00:00 2001 From: Quentin Garchery Date: Fri, 19 Apr 2024 13:40:40 +0200 Subject: [PATCH] refactor: use test profile for Halmos --- .github/workflows/halmos.yml | 2 +- foundry.toml | 2 +- package.json | 1 + 3 files changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/halmos.yml b/.github/workflows/halmos.yml index d631346a6..fe56f888a 100644 --- a/.github/workflows/halmos.yml +++ b/.github/workflows/halmos.yml @@ -28,4 +28,4 @@ jobs: run: pip install halmos - name: Run Halmos - run: halmos + run: FOUNDRY_PROFILE=test halmos diff --git a/foundry.toml b/foundry.toml index 900bf246f..9b7733f1b 100644 --- a/foundry.toml +++ b/foundry.toml @@ -2,7 +2,7 @@ libs = ["lib"] names = true sizes = true -via-ir = false +via-ir = true optimizer_runs = 999999 # Etherscan does not support verifying contracts with more optimization runs. [profile.default.invariant] diff --git a/package.json b/package.json index 1d942bfe8..bcc0e8d00 100644 --- a/package.json +++ b/package.json @@ -16,6 +16,7 @@ "test:forge:invariant": "FOUNDRY_MATCH_CONTRACT=InvariantTest yarn test:forge", "test:forge:integration": "FOUNDRY_MATCH_CONTRACT=IntegrationTest yarn test:forge", "test:hardhat": "npx hardhat test", + "test:halmos": "FOUNDRY_PROFILE=test halmos", "lint": "yarn lint:forge && yarn lint:hardhat", "lint:forge": "forge fmt --check", "lint:hardhat": "prettier --check test/hardhat",