Path update for conf and workflow

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

Hide file tree

Showing 12 changed files with 24 additions and 24 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/...y/certora/confs/GetConfigurationConf.conf → ...ey/certora/conf/GetConfigurationConf.conf b/...y/certora/confs/GetConfigurationConf.conf → ...ey/certora/conf/GetConfigurationConf.conf
@@ -3,7 +3,7 @@
 	"files": [
 		"certora/munged/SafeWebAuthnSignerSingleton.sol",
 		"certora/harnesses/GetConfigurationProxyHarness.sol",
-		"modules/passkey/contracts/SafeWebAuthnSignerFactory.sol"
+		"contracts/SafeWebAuthnSignerFactory.sol"
 	],
 	"link": [
 		"GetConfigurationProxyHarness:_SINGLETON=SafeWebAuthnSignerSingleton"

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

diff --git a/...passkey/certora/confs/ProxySimulator.conf → .../passkey/certora/conf/ProxySimulator.conf b/...passkey/certora/confs/ProxySimulator.conf → .../passkey/certora/conf/ProxySimulator.conf
@@ -2,9 +2,9 @@
     "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",
+        "contracts/SafeWebAuthnSignerProxy.sol",
+        "contracts/SafeWebAuthnSignerSingleton.sol",
+        "contracts/libraries/P256.sol",
         "certora/harnesses/WebAuthnHarnessWithMunge.sol"
     ],
     "hashing_length_bound": "2048",

diff --git a/...tora/confs/SafeWebAuthnSignerFactory.conf → ...rtora/conf/SafeWebAuthnSignerFactory.conf b/...tora/confs/SafeWebAuthnSignerFactory.conf → ...rtora/conf/SafeWebAuthnSignerFactory.conf
@@ -3,8 +3,8 @@
     "files": [
         "certora/harnesses/FactoryHarnessForSignerConsistency.sol",
         "certora/harnesses/WebAuthnHarnessWithMunge.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol"
+        "contracts/SafeWebAuthnSignerSingleton.sol",
+        "contracts/SafeWebAuthnSignerProxy.sol"
     ],
     "link": [
         "FactoryHarnessForSignerConsistency:SINGLETON=SafeWebAuthnSignerSingleton"

diff --git a/...ertora/confs/SafeWebAuthnSignerProxy.conf → ...certora/conf/SafeWebAuthnSignerProxy.conf b/...ertora/confs/SafeWebAuthnSignerProxy.conf → ...certora/conf/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/...ra/confs/SafeWebAuthnSignerSingleton.conf → ...ora/conf/SafeWebAuthnSignerSingleton.conf b/...ra/confs/SafeWebAuthnSignerSingleton.conf → ...ora/conf/SafeWebAuthnSignerSingleton.conf
@@ -1,9 +1,9 @@
 {
     "assert_autofinder_success": true,
     "files": [
-        "modules/passkey/contracts/SafeWebAuthnSignerFactory.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/libraries/P256.sol",
+        "contracts/SafeWebAuthnSignerFactory.sol",
+        "contracts/SafeWebAuthnSignerSingleton.sol",
+        "contracts/libraries/P256.sol",
         "certora/harnesses/WebAuthnHarnessWithMunge.sol"
     ],
     "link": [

diff --git a/...ora/confs/SignerCreationCantOverride.conf → ...tora/conf/SignerCreationCantOverride.conf b/...ora/confs/SignerCreationCantOverride.conf → ...tora/conf/SignerCreationCantOverride.conf
@@ -5,9 +5,9 @@
     ],
     "files": [
         "certora/harnesses/SafeWebAuthnSignerFactoryHarness.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol",
-        "modules/passkey/contracts/libraries/P256.sol",
+        "contracts/SafeWebAuthnSignerSingleton.sol",
+        "contracts/SafeWebAuthnSignerProxy.sol",
+        "contracts/libraries/P256.sol",
         "certora/harnesses/WebAuthnHarnessWithMunge.sol"
     ],
     "hashing_length_bound": "912",

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

diff --git a/...nfs/ValidSignatureForSignerIntegrity.conf → ...onf/ValidSignatureForSignerIntegrity.conf b/...nfs/ValidSignatureForSignerIntegrity.conf → ...onf/ValidSignatureForSignerIntegrity.conf
@@ -3,8 +3,8 @@
     "files": [
         "certora/harnesses/SafeWebAuthnSignerFactoryHarness.sol",
         "certora/harnesses/WebAuthnHarnessWithMunge.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol"
+        "contracts/SafeWebAuthnSignerSingleton.sol",
+        "contracts/SafeWebAuthnSignerProxy.sol"
     ],
     "link": [
         "SafeWebAuthnSignerFactoryHarness:SINGLETON=SafeWebAuthnSignerSingleton"

diff --git a/.../VerifyEQtoIsValidSignatureForSigner.conf → .../VerifyEQtoIsValidSignatureForSigner.conf b/.../VerifyEQtoIsValidSignatureForSigner.conf → .../VerifyEQtoIsValidSignatureForSigner.conf
@@ -3,7 +3,7 @@
     "dynamic_bound": "1",
     "files": [
         "certora/harnesses/SafeWebAuthnSignerFactoryHarness.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
+        "contracts/SafeWebAuthnSignerSingleton.sol",
         "certora/munged/SafeWebAuthnSignerProxy.sol",
         "certora/munged/WebAuthn.sol",
         "certora/harnesses/WebAuthnHarnessWithMunge.sol"

diff --git a/modules/passkey/certora/confs/WebAuthn.conf → modules/passkey/certora/conf/WebAuthn.conf b/modules/passkey/certora/confs/WebAuthn.conf → modules/passkey/certora/conf/WebAuthn.conf