Certora CI: clean make call

makerdao · Apr 10, 2024 · 5c7c55c · 5c7c55c
1 parent 705b40a
commit 5c7c55c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -38,6 +38,6 @@ jobs:
         run: pip3 install certora-cli
 
       - name: Verify ${{ matrix.ngt }}
-        run: make certora-${{ matrix.ngt }} short=1 multi=1
+        run: make certora-${{ matrix.ngt }}
         env:
           CERTORAKEY: ${{ secrets.CERTORAKEY }}
diff --git a/lib/token-tests b/lib/token-tests
+0 −11		src/TokenChecks.sol
+20 −45		src/TokenFuzzChecks.sol
+5 −16		src/TokenFuzzTests.sol
+0 −3		src/TokenTests.sol
+2 −4		src/tests/TokenTests.t.sol