refactor: use test profile for Halmos

morpho-org · Apr 19, 2024 · c29c3bc · c29c3bc
1 parent 6ef5c7a
commit c29c3bc
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git 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
@@ -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
@@ -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",