fix app deps

safe-global · May 15, 2024 · 2451464 · 2451464
1 parent 3032a7b
commit 2451464
Show file tree

Hide file tree

Showing 5 changed files with 16 additions and 10 deletions.
diff --git a/examples/4337-passkeys-singleton-signer/package.json b/examples/4337-passkeys-singleton-signer/package.json
@@ -24,6 +24,7 @@
     "@types/react": "^18.3.2",
     "@types/react-dom": "^18.3.0",
     "@vitejs/plugin-react-swc": "^3.6.0",
+    "react-router": "^6.23.1",
     "typescript": "^5.4.5",
     "vite": "^5.2.11",
     "vite-plugin-commonjs": "^0.10.1"

diff --git a/examples/4337-passkeys/package.json b/examples/4337-passkeys/package.json
@@ -24,6 +24,7 @@
     "@types/react": "^18.3.2",
     "@types/react-dom": "^18.3.0",
     "@vitejs/plugin-react-swc": "^3.6.0",
+    "react-router": "^6.23.1",
     "typescript": "^5.4.5",
     "vite": "^5.2.11",
     "vite-plugin-commonjs": "^0.10.1"

diff --git a/modules/4337/certora/conf/TransactionExecutionMethods.conf b/modules/4337/certora/conf/TransactionExecutionMethods.conf
@@ -15,10 +15,9 @@
     ],
     "rule_sanity": "advanced",
     "solc": "solc8.23",
-    "solc_allow_path": "../../node_modules",
     "verify": "Safe4337Module:certora/specs/TransactionExecutionMethods.spec",
     "packages": [
-        "@account-abstraction=../../node_modules/@account-abstraction",
-        "@safe-global=../../node_modules/@safe-global"
+        "@account-abstraction=../../node_modules/.pnpm/@account-abstraction+contracts@0.7.0/node_modules/@account-abstraction",
+        "@safe-global=../../node_modules/.pnpm/@safe-global+safe-contracts@1.4.1-build.0_ethers@6.12.1_bufferutil@4.0.8_utf-8-validate@5.0.10_/node_modules/@safe-global"
     ]
 }
diff --git a/modules/4337/certora/conf/ValidationDataLastBitOne.conf b/modules/4337/certora/conf/ValidationDataLastBitOne.conf
@@ -15,10 +15,9 @@
     ],
     "rule_sanity": "basic",
     "solc": "solc8.23",
-    "solc_allow_path": "../../node_modules",
     "verify": "Safe4337Module:certora/specs/ValidationDataLastBitOne.spec",
     "packages": [
-        "@account-abstraction=../../node_modules/@account-abstraction",
-        "@safe-global=../../node_modules/@safe-global"
+        "@account-abstraction=../../node_modules/.pnpm/@account-abstraction+contracts@0.7.0/node_modules/@account-abstraction",
+        "@safe-global=../../node_modules/.pnpm/@safe-global+safe-contracts@1.4.1-build.0_ethers@6.12.1_bufferutil@4.0.8_utf-8-validate@5.0.10_/node_modules/@safe-global"
     ]
 }
diff --git a/pnpm-lock.yaml b/pnpm-lock.yaml