Add invariant test suite

.gitignore

@@ -13,10 +13,12 @@ lcov.info
 /medusa
 /crytic-export
 /echidna
+recon.json
 **/*.log
 **/anvil/*.json
 **/env/anvil.json
 **/anvil
 ## Recon Separate Configs
 /medusa-core
 /medusa-aggregator
+/.cursor

.gitmodules

@@ -1,6 +1,13 @@
-[submodule "lib/forge-std"]
-	path = lib/forge-std
-	url = https://github.com/foundry-rs/forge-std
+
+[submodule "lib/setup-helpers"]
+	path = lib/setup-helpers
+	url = https://github.com/Recon-Fuzz/setup-helpers
 [submodule "lib/chimera"]
 	path = lib/chimera
 	url = https://github.com/Recon-Fuzz/chimera
+[submodule "lib/forge-std"]
+	path = lib/forge-std
+	url = https://github.com/foundry-rs/forge-std
+[submodule "lib/createx-forge"]
+	path = lib/createx-forge
+	url = https://github.com/radeksvarz/createx-forge

echidna.yaml

@@ -0,0 +1,21 @@
+testMode: "assertion"
+prefix: "optimize_"
+coverage: true
+corpusDir: "echidna"
+balanceAddr: 0x1043561a8829300000
+balanceContract: 0x1043561a8829300000
+filterFunctions: []
+cryticArgs: ["--foundry-compile-all"]
+deployer: "0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496"
+contractAddr: "0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496"
+shrinkLimit: 100000
+## Rely on Foundry compilation, compile and build libraries to those addresses
+cryticArgs: ["--foundry-compile-all", "--compile-libraries=(MathLib,0xf01),(CastLib,0xf02),(BytesLib,0xf03),(MessageLib,0xf04),(TransientStorageLib,0xf05)"]
+## Deploy them to these addresses
+deployContracts: [
+  ["0xf01", "MathLib"],
+  ["0xf02", "CastLib"],
+  ["0xf03", "BytesLib"],
+  ["0xf04", "MessageLib"],
+  ["0xf05", "TransientStorageLib"]
+]

medusa.json

@@ -0,0 +1,88 @@
+{
+  "fuzzing": {
+    "workers": 10,
+    "workerResetLimit": 50,
+    "timeout": 0,
+    "testLimit": 0,
+    "callSequenceLength": 100,
+    "corpusDirectory": "medusa",
+    "coverageEnabled": true,
+    "deploymentOrder": [
+      "CryticTester"
+    ],
+    "targetContracts": [
+      "CryticTester"
+    ],
+    "targetContractsBalances": [
+      "0x27b46536c66c8e3000000"
+    ],
+    "constructorArgs": {},
+    "deployerAddress": "0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496",
+    "senderAddresses": [
+      "0x10000",
+      "0x20000",
+      "0x30000"
+    ],
+    "blockNumberDelayMax": 60480,
+    "blockTimestampDelayMax": 604800,
+    "blockGasLimit": 125000000,
+    "transactionGasLimit": 12500000,
+    "testing": {
+      "stopOnFailedTest": false,
+      "stopOnFailedContractMatching": false,
+      "stopOnNoTests": true,
+      "testAllContracts": false,
+      "traceAll": false,
+      "assertionTesting": {
+        "enabled": true,
+        "testViewMethods": true,
+        "panicCodeConfig": {
+          "failOnCompilerInsertedPanic": false,
+          "failOnAssertion": true,
+          "failOnArithmeticUnderflow": false,
+          "failOnDivideByZero": false,
+          "failOnEnumTypeConversionOutOfBounds": false,
+          "failOnIncorrectStorageAccess": false,
+          "failOnPopEmptyArray": false,
+          "failOnOutOfBoundsArrayAccess": false,
+          "failOnAllocateTooMuchMemory": false,
+          "failOnCallUninitializedVariable": false
+        }
+      },
+      "propertyTesting": {
+        "enabled": true,
+        "testPrefixes": [
+          "invariant_"
+        ]
+      },
+      "optimizationTesting": {
+        "enabled": false,
+        "testPrefixes": [
+          "optimize_"
+        ]
+      }
+    },
+    "chainConfig": {
+      "codeSizeCheckDisabled": true,
+      "cheatCodes": {
+        "cheatCodesEnabled": true,
+        "enableFFI": false
+      }
+    }
+  },
+  "compilation": {
+    "platform": "crytic-compile",
+    "platformConfig": {
+      "target": ".",
+      "solcVersion": "",
+      "exportDirectory": "",
+      "args": [
+        "--foundry-compile-all"
+      ]
+    }
+  },
+  "logging": {
+    "level": "info",
+    "logDirectory": ""
+  }
+}

remappings.txt

@@ -1,2 +1,9 @@
 forge-std/=lib/forge-std/src/
-@chimera/=lib/chimera/src/
+@recon/=lib/setup-helpers/src/
+@chimera/=lib/chimera/src/
+chimera/=lib/chimera/src/
+ds-test/=lib/chimera/lib/forge-std/lib/ds-test/src/
+setup-helpers/=lib/setup-helpers/src/
+src/=src/
+test/=test/
+createx-forge/=lib/createx-forge/