medusa.json

{
  "fuzzing": {
    "workers": 10,
    "workerResetLimit": 50,
    "timeout": 0,
    "testLimit": 0,
    "callSequenceLength": 100,
    "corpusDirectory": "tests/invariants/_corpus/medusa",
    "coverageEnabled": true,
    "coverageFormats": ["html", "lcov"],
    "deploymentOrder": ["Tester"],
    "targetContracts": ["Tester"],
    "targetContractsBalances": [
      "0xffffffffffffffffffffffffffffffffffffffffffffffffffff"
    ],
    "predeployedContracts": {
      "Create2Factory": "0x914d7Fec6aaC8cd542e72Bca78B30650d45643d7",
      "Pretty": "0xf01",
      "Strings": "0xf02",
      "AaveV3BatchOrchestration": "0xf03",
      "SupplyLogic": "0xf04",
      "PoolLogic": "0xf05",
      "LiquidationLogic": "0xf06",
      "FlashLoanLogic": "0xf07",
      "BridgeLogic": "0xf08",
      "EModeLogic": "0xf09",
      "BorrowLogic": "0xf10",
      "ConfiguratorLogic": "0xf11"
    },
    "constructorArgs": {},
    "deployerAddress": "0x30000",
    "senderAddresses": ["0x10000", "0x20000", "0x30000"],
    "blockNumberDelayMax": 60480,
    "blockTimestampDelayMax": 604800,
    "blockGasLimit": 12500000000,
    "transactionGasLimit": 1250000000,
    "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": ["fuzz_", "echidna_"]
      },
      "optimizationTesting": {
        "enabled": false,
        "testPrefixes": ["optimize_"]
      }
    },
    "chainConfig": {
      "codeSizeCheckDisabled": true,
      "cheatCodes": {
        "cheatCodesEnabled": true,
        "enableFFI": false
      },
      "skipAccountChecks": true
    }
  },
  "compilation": {
    "platform": "crytic-compile",
    "platformConfig": {
      "target": "tests/invariants/Tester.t.sol",
      "solcVersion": "",
      "exportDirectory": "",
      "args": [
        "--solc-remaps",
        "@crytic/properties/=../../../lib/properties/ forge-std/=../../../lib/forge-std/src/ ds-test/=../../../lib/forge-std/lib/ds-test/src/",
        "--compile-libraries=(Pretty,0xf01), (Strings,0xf02), (AaveV3BatchOrchestration,0xf03), (SupplyLogic,0xf04), (PoolLogic,0xf05), (LiquidationLogic,0xf06), (FlashLoanLogic,0xf07), (BridgeLogic,0xf08), (EModeLogic,0xf09), (BorrowLogic,0xf10), (ConfiguratorLogic,0xf11)"
      ]
    }
  },
  "logging": {
    "level": "info",
    "logDirectory": "",
    "noColor": false
  }
}