ForeignController.conf

{
    "files": [
        "spark-alm-controller/src/ForeignController.sol",
        "spark-alm-controller/src/ALMProxy.sol",
        "harness/CctpMock.sol",
        "harness/Psm3Mock.sol",
        "spark-alm-controller/src/RateLimits.sol",
        "harness/UsdcMock.sol",
        "harness/UsdsMock.sol",
        "harness/SUsdsMock.sol",
        "harness/Auxiliar.sol"
    ],
    "solc": "solc-0.8.21",
    "solc_optimize": "200",
    "packages": [
        "forge-std/interfaces/=spark-alm-controller/lib/forge-std/src/interfaces",
        "openzeppelin-contracts/=spark-alm-controller/lib/openzeppelin-contracts",
        "lib/openzeppelin-contracts/=spark-alm-controller/lib/openzeppelin-contracts",
        "spark-psm/src/interfaces/=spark-alm-controller/lib/spark-psm/src/interfaces",
        "erc20-helpers/interfaces/=spark-alm-controller/lib/spark-psm/lib/erc20-helpers/src/interfaces",
        "src=spark-alm-controller/src"
    ],
    "link": [
        "ForeignController:proxy=ALMProxy",
        "ForeignController:cctp=CctpMock",
        "ForeignController:psm=Psm3Mock",
        "ForeignController:rateLimits=RateLimits",
        "ForeignController:usdc=UsdcMock"
    ],
    "verify": "ForeignController:ForeignController.spec",
    "rule_sanity": "basic",
    "multi_assert_check": true,
    "optimistic_loop": true,
    "parametric_contracts": ["ForeignController"],
    "smt_timeout": "7000",
    "build_cache": true,
    "msg": "ForeignController"
}