Path update for conf and workflow

safe-global · Sep 20, 2024 · 7944e6c · 7944e6c
1 parent cc95356
commit 7944e6c
Show file tree

Hide file tree

Showing 12 changed files with 42 additions and 42 deletions.
diff --git a/.github/workflows/certora_passkey.yml b/.github/workflows/certora_passkey.yml
@@ -58,7 +58,7 @@ jobs:
         run: pnpm install
 
       - name: Verify rule ${{ matrix.rule }}
-        working-directory: ./modules/4337
+        working-directory: ./modules/passkey
         run: |
           echo "Certora key length" ${#CERTORAKEY}
           certoraRun certora/conf/${{ matrix.rule }}.conf --wait_for_results=all

diff --git a/modules/passkey/certora/confs/GetConfigurationConf.conf b/modules/passkey/certora/confs/GetConfigurationConf.conf
@@ -1,9 +1,9 @@
 {
 	"assert_autofinder_success": true,
 	"files": [
-		"certora/munged/SafeWebAuthnSignerSingleton.sol",
-		"certora/harnesses/GetConfigurationProxyHarness.sol",
-		"modules/passkey/contracts/SafeWebAuthnSignerFactory.sol"
+		"../munged/SafeWebAuthnSignerSingleton.sol",
+		"../harnesses/GetConfigurationProxyHarness.sol",
+		"../../contracts/SafeWebAuthnSignerFactory.sol"
 	],
 	"link": [
 		"GetConfigurationProxyHarness:_SINGLETON=SafeWebAuthnSignerSingleton"

diff --git a/modules/passkey/certora/confs/GetSigner.conf b/modules/passkey/certora/confs/GetSigner.conf
@@ -1,9 +1,9 @@
 {
     "assert_autofinder_success": true,
     "files": [
-        "certora/harnesses/GetSignerHarness.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol"
+        "../harnesses/GetSignerHarness.sol",
+        "../../contracts/SafeWebAuthnSignerSingleton.sol",
+        "../../contracts/SafeWebAuthnSignerProxy.sol"
     ],
     "hashing_length_bound": "4694",
     "link": [

diff --git a/modules/passkey/certora/confs/ProxySimulator.conf b/modules/passkey/certora/confs/ProxySimulator.conf
@@ -1,11 +1,11 @@
 {
     "assert_autofinder_success": true,
     "files": [
-        "certora/harnesses/ProxySimulator.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/libraries/P256.sol",
-        "certora/harnesses/WebAuthnHarnessWithMunge.sol"
+        "../harnesses/ProxySimulator.sol",
+        "../../contracts/SafeWebAuthnSignerProxy.sol",
+        "../../contracts/SafeWebAuthnSignerSingleton.sol",
+        "../../contracts/libraries/P256.sol",
+        "../harnesses/WebAuthnHarnessWithMunge.sol"
     ],
     "hashing_length_bound": "2048",
     "link": [

diff --git a/modules/passkey/certora/confs/SafeWebAuthnSignerFactory.conf b/modules/passkey/certora/confs/SafeWebAuthnSignerFactory.conf
@@ -1,10 +1,10 @@
 {
     "assert_autofinder_success": true,
     "files": [
-        "certora/harnesses/FactoryHarnessForSignerConsistency.sol",
-        "certora/harnesses/WebAuthnHarnessWithMunge.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol"
+        "../harnesses/FactoryHarnessForSignerConsistency.sol",
+        "../harnesses/WebAuthnHarnessWithMunge.sol",
+        "../../contracts/SafeWebAuthnSignerSingleton.sol",
+        "../../contracts/SafeWebAuthnSignerProxy.sol"
     ],
     "link": [
         "FactoryHarnessForSignerConsistency:SINGLETON=SafeWebAuthnSignerSingleton"

diff --git a/modules/passkey/certora/confs/SafeWebAuthnSignerProxy.conf b/modules/passkey/certora/confs/SafeWebAuthnSignerProxy.conf
@@ -1,9 +1,9 @@
 {
     "assert_autofinder_success": true,
     "files": [
-        "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/libraries/P256.sol"
+        "../../contracts/SafeWebAuthnSignerProxy.sol",
+        "../../contracts/SafeWebAuthnSignerSingleton.sol",
+        "../../contracts/libraries/P256.sol"
     ],
     "link": [
         "SafeWebAuthnSignerProxy:_VERIFIERS=P256",

diff --git a/modules/passkey/certora/confs/SafeWebAuthnSignerSingleton.conf b/modules/passkey/certora/confs/SafeWebAuthnSignerSingleton.conf
@@ -1,10 +1,10 @@
 {
     "assert_autofinder_success": true,
     "files": [
-        "modules/passkey/contracts/SafeWebAuthnSignerFactory.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/libraries/P256.sol",
-        "certora/harnesses/WebAuthnHarnessWithMunge.sol"
+        "../../contracts/SafeWebAuthnSignerFactory.sol",
+        "../../contracts/SafeWebAuthnSignerSingleton.sol",
+        "../../contracts/libraries/P256.sol",
+        "../harnesses/WebAuthnHarnessWithMunge.sol"
     ],
     "link": [
         "SafeWebAuthnSignerFactory:SINGLETON=SafeWebAuthnSignerSingleton"

diff --git a/modules/passkey/certora/confs/SignerCreationCantOverride.conf b/modules/passkey/certora/confs/SignerCreationCantOverride.conf
@@ -4,11 +4,11 @@
         "createAndVerifyEQtoIsValidSignatureForSigner"
     ],
     "files": [
-        "certora/harnesses/SafeWebAuthnSignerFactoryHarness.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol",
-        "modules/passkey/contracts/libraries/P256.sol",
-        "certora/harnesses/WebAuthnHarnessWithMunge.sol"
+        "../harnesses/SafeWebAuthnSignerFactoryHarness.sol",
+        "../../contracts/SafeWebAuthnSignerSingleton.sol",
+        "../../contracts/SafeWebAuthnSignerProxy.sol",
+        "../../contracts/libraries/P256.sol",
+        "../harnesses/WebAuthnHarnessWithMunge.sol"
     ],
     "hashing_length_bound": "912",
     "link": [

diff --git a/modules/passkey/certora/confs/SingletonIsValidSignatureRevertingConditions.conf b/modules/passkey/certora/confs/SingletonIsValidSignatureRevertingConditions.conf
@@ -1,10 +1,10 @@
 {
     "assert_autofinder_success": true,
     "files": [
-        "modules/passkey/contracts/SafeWebAuthnSignerFactory.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/libraries/P256.sol",
-        "certora/harnesses/WebAuthnHarnessWithMunge.sol"
+        "../../contracts/SafeWebAuthnSignerFactory.sol",
+        "../../contracts/SafeWebAuthnSignerSingleton.sol",
+        "../../contracts/libraries/P256.sol",
+        "../harnesses/WebAuthnHarnessWithMunge.sol"
     ],
     "loop_iter": "6",
     "optimistic_hashing": true,

diff --git a/modules/passkey/certora/confs/ValidSignatureForSignerIntegrity.conf b/modules/passkey/certora/confs/ValidSignatureForSignerIntegrity.conf
@@ -1,10 +1,10 @@
 {
     "assert_autofinder_success": true,
     "files": [
-        "certora/harnesses/SafeWebAuthnSignerFactoryHarness.sol",
-        "certora/harnesses/WebAuthnHarnessWithMunge.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol"
+        "../harnesses/SafeWebAuthnSignerFactoryHarness.sol",
+        "../harnesses/WebAuthnHarnessWithMunge.sol",
+        "../../contracts/SafeWebAuthnSignerSingleton.sol",
+        "../../contracts/SafeWebAuthnSignerProxy.sol"
     ],
     "link": [
         "SafeWebAuthnSignerFactoryHarness:SINGLETON=SafeWebAuthnSignerSingleton"

diff --git a/modules/passkey/certora/confs/VerifyEQtoIsValidSignatureForSigner.conf b/modules/passkey/certora/confs/VerifyEQtoIsValidSignatureForSigner.conf
@@ -2,11 +2,11 @@
     "assert_autofinder_success": true,
     "dynamic_bound": "1",
     "files": [
-        "certora/harnesses/SafeWebAuthnSignerFactoryHarness.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "certora/munged/SafeWebAuthnSignerProxy.sol",
-        "certora/munged/WebAuthn.sol",
-        "certora/harnesses/WebAuthnHarnessWithMunge.sol"
+        "../harnesses/SafeWebAuthnSignerFactoryHarness.sol",
+        "../../contracts/SafeWebAuthnSignerSingleton.sol",
+        "../munged/SafeWebAuthnSignerProxy.sol",
+        "../munged/WebAuthn.sol",
+        "../harnesses/WebAuthnHarnessWithMunge.sol"
     ],
     "hashing_length_bound": "906",
     "link": [

diff --git a/modules/passkey/certora/confs/WebAuthn.conf b/modules/passkey/certora/confs/WebAuthn.conf
@@ -1,7 +1,7 @@
 {
     "assert_autofinder_success": true,
     "files": [
-        "certora/harnesses/WebAuthnHarnessWithMunge.sol"
+        "../harnesses/WebAuthnHarnessWithMunge.sol"
     ],
     "loop_iter": "6",
     "optimistic_hashing": true,