markets/test/forge/invariant/StaticInvariantTest.sol

// SPDX-License-Identifier: GPL-2.0-or-later
pragma solidity ^0.8.0;

import "./BaseInvariantTest.sol";

contract StaticInvariantTest is BaseInvariantTest {
    /* INVARIANTS */

    function invariantHealthy() public {
        address[] memory users = targetSenders();

        for (uint256 i; i < allMarketParams.length; ++i) {
            MarketParams memory _marketParams = allMarketParams[i];

            for (uint256 j; j < users.length; ++j) {
                assertTrue(_isHealthy(_marketParams, users[j]));
            }
        }
    }
}