From d809bd4bec522564949b76aafc40241092e35634 Mon Sep 17 00:00:00 2001 From: Shebin John Date: Mon, 5 Aug 2024 11:25:56 +0200 Subject: [PATCH] Certora Path Update --- modules/4337/certora/conf/Safe4337Module.conf | 2 +- modules/4337/certora/conf/SignatureLengthCheck.conf | 2 +- modules/4337/certora/conf/TransactionExecutionMethods.conf | 2 +- modules/4337/certora/conf/ValidationDataLastBitOne.conf | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/modules/4337/certora/conf/Safe4337Module.conf b/modules/4337/certora/conf/Safe4337Module.conf index d0786b271..2211712c6 100644 --- a/modules/4337/certora/conf/Safe4337Module.conf +++ b/modules/4337/certora/conf/Safe4337Module.conf @@ -18,6 +18,6 @@ "verify": "Safe4337Module:certora/specs/Safe4337Module.spec", "packages": [ "@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.13.1_bufferutil@4.0.8_utf-8-validate@6.0.4_/node_modules/@safe-global" + "@safe-global=../../node_modules/.pnpm/@safe-global+safe-contracts@1.4.1-build.0_ethers@6.13.1_bufferutil@4.0.8_utf-8-validate@5.0.10_/node_modules/@safe-global" ] } diff --git a/modules/4337/certora/conf/SignatureLengthCheck.conf b/modules/4337/certora/conf/SignatureLengthCheck.conf index 0d11133fd..b7090c48d 100644 --- a/modules/4337/certora/conf/SignatureLengthCheck.conf +++ b/modules/4337/certora/conf/SignatureLengthCheck.conf @@ -11,6 +11,6 @@ "verify": "Safe4337ModuleHarness:certora/specs/SignatureLengthCheck.spec", "packages": [ "@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.13.1_bufferutil@4.0.8_utf-8-validate@6.0.4_/node_modules/@safe-global" + "@safe-global=../../node_modules/.pnpm/@safe-global+safe-contracts@1.4.1-build.0_ethers@6.13.1_bufferutil@4.0.8_utf-8-validate@5.0.10_/node_modules/@safe-global" ] } diff --git a/modules/4337/certora/conf/TransactionExecutionMethods.conf b/modules/4337/certora/conf/TransactionExecutionMethods.conf index c06320715..baa463898 100644 --- a/modules/4337/certora/conf/TransactionExecutionMethods.conf +++ b/modules/4337/certora/conf/TransactionExecutionMethods.conf @@ -18,6 +18,6 @@ "verify": "Safe4337Module:certora/specs/TransactionExecutionMethods.spec", "packages": [ "@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.13.1_bufferutil@4.0.8_utf-8-validate@6.0.4_/node_modules/@safe-global" + "@safe-global=../../node_modules/.pnpm/@safe-global+safe-contracts@1.4.1-build.0_ethers@6.13.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 index 8cca2072c..71ad0c5fb 100644 --- a/modules/4337/certora/conf/ValidationDataLastBitOne.conf +++ b/modules/4337/certora/conf/ValidationDataLastBitOne.conf @@ -18,6 +18,6 @@ "verify": "Safe4337Module:certora/specs/ValidationDataLastBitOne.spec", "packages": [ "@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.13.1_bufferutil@4.0.8_utf-8-validate@6.0.4_/node_modules/@safe-global" + "@safe-global=../../node_modules/.pnpm/@safe-global+safe-contracts@1.4.1-build.0_ethers@6.13.1_bufferutil@4.0.8_utf-8-validate@5.0.10_/node_modules/@safe-global" ] }