chore: adding properties

Recon-Fuzz · Aug 8, 2024 · de92fc7 · de92fc7
1 parent 38308b4
commit de92fc7
Show file tree

Hide file tree

Showing 16 changed files with 101 additions and 314 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -4,3 +4,6 @@
 [submodule "lib/chimera"]
 	path = lib/chimera
 	url = https://github.com/Recon-Fuzz/chimera
+[submodule "lib/erc7540-reusable-properties"]
+	path = lib/erc7540-reusable-properties
+	url = https://github.com/Recon-Fuzz/erc7540-reusable-properties
diff --git a/echidna-property.yaml b/echidna-property.yaml
diff --git a/echidna-assertion.yaml → echidna.yaml b/echidna-assertion.yaml → echidna.yaml
@@ -1,9 +1,9 @@
 
 testMode: "assertion"
-prefix: "invariant_"
+prefix: "crytic_"
 coverage: true
 corpusDir: "echidna"
 balanceAddr: 0x1043561a8829300000
 balanceContract: 0x1043561a8829300000
 filterFunctions: []
-cryticArgs: ["--foundry-compile-all"]
+cryticArgs: ["--foundry-compile-all"]
diff --git a/lib/chimera b/lib/chimera
diff --git a/lib/erc7540-reusable-properties b/lib/erc7540-reusable-properties
diff --git a/medusa-aggregator.json b/medusa-aggregator.json
diff --git a/medusa-core.json → medusa.json b/medusa-core.json → medusa.json
@@ -5,7 +5,7 @@
     "timeout": 0,
     "testLimit": 0,
     "callSequenceLength": 100,
-    "corpusDirectory": "medusa-core",
+    "corpusDirectory": "medusa",
     "coverageEnabled": true,
     "deploymentOrder": [
       "CryticTester"
@@ -17,7 +17,7 @@
       "0x27b46536c66c8e3000000"
     ],
     "constructorArgs": {},
-    "deployerAddress": "0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38",
+    "deployerAddress": "0x30000",
     "senderAddresses": [
       "0x10000",
       "0x20000",
@@ -52,7 +52,7 @@
       "propertyTesting": {
         "enabled": true,
         "testPrefixes": [
-          "invariant_"
+          "crytic_"
         ]
       },
       "optimizationTesting": {

diff --git a/script/Axelar.s.sol b/script/Axelar.s.sol
diff --git a/script/Deployer.sol b/script/Deployer.sol
diff --git a/script/Forwarder.s.sol b/script/Forwarder.s.sol
diff --git a/script/Permissionless.s.sol b/script/Permissionless.s.sol
diff --git a/test/recon/CryticTester.sol b/test/recon/CryticTester.sol
@@ -0,0 +1,14 @@
+
+// SPDX-License-Identifier: GPL-2.0
+pragma solidity ^0.8.0;
+
+import {TargetFunctions} from "./TargetFunctions.sol";
+import {CryticAsserts} from "@chimera/CryticAsserts.sol";
+
+// echidna . --contract CryticTester --config echidna.yaml
+// medusa fuzz
+contract CryticTester is TargetFunctions, CryticAsserts {
+    constructor() payable {
+        setup();
+    }
+}
+8 −0		README.md
+24 −12		src/CryticAsserts.sol
+29 −3		src/Hevm.sol