tinkering with certora

safe-global · Jun 30, 2023 · 6610267 · 6610267
1 parent 1a87152
commit 6610267
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 3 deletions.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -26,7 +26,7 @@ jobs:
               with: { java-version: "17", java-package: jre, distribution: semeru }
 
             - name: Install certora cli-beta
-              run: pip install -Iv certora-cli-beta==4.2.0
+              run: pip install -Iv certora-cli
 
             - name: Install solc
               run: |

diff --git a/certora/scripts/verifySafe.sh b/certora/scripts/verifySafe.sh
@@ -10,7 +10,6 @@ certoraRun  certora/harnesses/SafeHarness.sol \
     --verify SafeHarness:certora/specs/Safe.spec \
     --solc solc7.6 \
     --optimistic_loop \
-    --prover_args "-optimisticFallback true" \
     --loop_iter 3 \
     --optimistic_hashing \
     --hashing_length_bound 352 \

diff --git a/certora/specs/Safe.spec b/certora/specs/Safe.spec
@@ -1,5 +1,4 @@
 methods {
-    // 
     function getThreshold() external returns (uint256) envfree;
     function disableModule(address,address) external;
     function nonce() external returns (uint256) envfree;