Remove unused argument

Certora · Dec 18, 2024 · f3eeb5f · f3eeb5f
1 parent 9934448
commit f3eeb5f
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 8 deletions.
diff --git a/certora/conf/community.conf b/certora/conf/community.conf
@@ -6,9 +6,8 @@
     "packages": [
         "openzeppelin-contracts=lib/openzeppelin-contracts"
     ],
-    "cloud": "",
     "process": "emv",
     "solc": "solc8.13",
     "verify": "AaveTokenV3Harness:certora/specs/community.spec",
     "msg": "AaveTokenV3HarnessCommunity:community.spec "
-}
+}
diff --git a/certora/conf/delegate.conf b/certora/conf/delegate.conf
@@ -2,7 +2,6 @@
     "files": [
         "certora/harness/AaveTokenV3Harness.sol"
     ],
-    "cloud": "",
     "optimistic_loop": true,
     "packages": [
         "openzeppelin-contracts=certora/munged/lib/openzeppelin-contracts"
@@ -14,4 +13,4 @@
     "rule_sanity": "basic",  // rule_sanity accepts: none, basic, advance
     "verify": "AaveTokenV3Harness:certora/specs/delegate.spec",
     "msg": "AaveTokenV3Harness:delegate.spec "
-}
+}
diff --git a/certora/conf/erc20.conf b/certora/conf/erc20.conf
@@ -5,10 +5,9 @@
     "packages": [
         "openzeppelin-contracts=lib/openzeppelin-contracts"
     ],
-    "cloud": "",
     "optimistic_loop": true,
     "process": "emv",
     "solc": "solc8.13",
     "verify": "AaveTokenV3Harness:certora/specs/erc20.spec",
     "msg": "AaveTokenV3:erc20.spec "
-}
+}
diff --git a/certora/conf/general.conf b/certora/conf/general.conf
@@ -5,11 +5,10 @@
     "packages": [
         "openzeppelin-contracts=lib/openzeppelin-contracts"
     ],
-    "cloud": "",
     "optimistic_loop": true,
     "process": "emv",
     "prover_args": [" -smt_bitVectorTheory true"],
     "solc": "solc8.13",
     "verify": "AaveTokenV3Harness:certora/specs/general.spec",
     "msg": "AaveTokenV3:general.spec "
-}
+}