fix certora

coinbase · Apr 23, 2024 · 19102d9 · 19102d9
1 parent b214501
commit 19102d9
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -54,5 +54,6 @@ jobs:
       max-parallel: 4
       matrix:
         params: 
-          - {name: ERC4337Account, command: 'ERC4337Account.conf'}
+          - {name: ERC4337Account, command: 'ERC4337Account.conf --rule cantInitTwice'}
+          - {name: ERC4337Account, command: 'ERC4337Account.conf --exclude_rule cantInitTwice'}
           - {name: ERC4337AccountInv, command: 'ERC4337AccountInv.conf'}
diff --git a/certora/confs/ERC4337Account.conf b/certora/confs/ERC4337Account.conf
@@ -9,7 +9,6 @@
     "packages": [
         "solady=lib/solady/src",
         "account-abstraction=lib/account-abstraction/contracts",
-        "FreshCryptoLib=lib/FreshCryptoLib/solidity/src",
         "webauthn-sol=lib/webauthn-sol/src",
         "openzeppelin-contracts=lib/openzeppelin-contracts"
     ],

diff --git a/certora/confs/ERC4337AccountInv.conf b/certora/confs/ERC4337AccountInv.conf
@@ -9,7 +9,6 @@
     "packages": [
         "solady=lib/solady/src",
         "account-abstraction=lib/account-abstraction/contracts",
-        "FreshCryptoLib=lib/FreshCryptoLib/solidity/src",
         "webauthn-sol=lib/webauthn-sol/src",
         "openzeppelin-contracts=lib/openzeppelin-contracts"
     ],