fix: test mode

defi-wonderland · May 20, 2024 · 9d512ba · 9d512ba
1 parent f7884a0
commit 9d512ba
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -33,6 +33,9 @@ jobs:
       - name: Install dependencies
         run: yarn --frozen-lockfile --network-concurrency 1
 
+      - name: Compile contracts
+        run: yarn build
+
       - name: Run slither
         uses: crytic/[email protected]
         with:
@@ -125,7 +128,8 @@ jobs:
         with:
           files: .
           contract: InvariantGreeter
-          crytic-args: --ignore-compile --test-mode assertion
+          test-mode: assertion
+          crytic-args: --ignore-compile
 
   halmos-tests:
     name: Run symbolic execution tests