.

safe-global · Jun 13, 2024 · e6f8e21 · e6f8e21
1 parent 37050dd
commit e6f8e21
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 9 deletions.
diff --git a/certora/confs/SafeWebAuthnSignerSingleton.conf b/certora/confs/SafeWebAuthnSignerSingleton.conf
@@ -17,7 +17,5 @@
     "optimistic_loop": true,
     "loop_iter": "6",
     "optimistic_hashing": true,
-    "prover_version": "master",
-    "server": "production",
     "verify": "SafeWebAuthnSignerSingleton:certora/specs/SafeWebAuthnSignerSingleton.spec"
 }
diff --git a/certora/confs/WebAuthn.conf b/certora/confs/WebAuthn.conf
@@ -3,11 +3,6 @@
     "files": [
         "certora/harnesses/WebAuthnHarness.sol"
 	],
-    "java_args": [
-        " -ea -Dlevel.setup.helpers=info"
-    ],
-    "msg": "sanity_with_all_default_summaries",
-    "process": "emv",
     "packages":[
         "@safe-global=node_modules/@safe-global",
         "@account-abstraction=node_modules/@account-abstraction"
@@ -16,8 +11,6 @@
     "solc_via_ir": false,
     "optimistic_loop": true,
     "optimistic_hashing": true,
-    "prover_version": "master",
-    "server": "production",
     "rule_sanity": "basic",
     "loop_iter": "6",
     "verify": "WebAuthnHarness:certora/specs/WebAuthn.spec"