Unable to set up Invariant Testing for the DeFi section of the course.

[Jain-Sameer]

This is the code . When i try to run the command :
forge test --mt invariant_protocolMustHaveMoreValueThanTotalSupply
I get the error saying :
[FAIL: failed to set up invariant testing environment: panic: assertion failed (0x01)]

I have tried the basic things like forge clean && forge test. Also, after using console.log before and after the targetContract statement in the setUp, and it logs to the console each time but nothing about targetContract in the staticall tree. I used foundryup before that, the error was [FAIL: failed to set up invariant testing environment: No contracts to fuzz].

// have our invariants/properties of the system that must hold

//what are our invariants ? 
// 1. total supply of dsc should be less than the total value of collateral
// 2. getter view functions should never revert

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.19;

import {Test, console} from "../../lib/forge-std/src/Test.sol";
import {StdInvariant} from "../../lib/forge-std/src/StdInvariant.sol";
import {DeployDSC} from "../../script/DeployDSC.s.sol";
import {HelperConfig} from "../../script/HelperConfig.s.sol";
import {DecentralisedStableCoin} from "../../src/DecentralisedStableCoin.sol";
import {DSCEngine} from "../../src/DSCEngine.sol";
import {IERC20} from "../../lib/openzeppelin-contracts/contracts/token/ERC20/IERC20.sol";

contract InvariantsTest is StdInvariant, Test {
    DSCEngine dscEngine;
    DecentralisedStableCoin dsc;
    HelperConfig config;
    DeployDSC deployer;
    address weth;
    address wbtc;
    function setUp () external {
        deployer = new DeployDSC();
        (dsc, dscEngine, config) = deployer.run();
        (, , weth, wbtc, ) = config.activeNetworkConfig();
        targetContract(address(dscEngine));
    }

    function invariant_protocolMustHaveMoreValueThanTotalSupply() public view {
        //get value of all the collateral in the protocol
        //compare it to all the debt (dsc)
        console.log("does it reach here ?");
        uint256 totalSupply = dsc.totalSupply();
        uint256 wethDeposited = IERC20(weth).balanceOf(address(dscEngine));
        uint256 wbtcDeposited = IERC20(wbtc).balanceOf(address(dscEngine));

        uint256 wethValue = dscEngine.getUSDValue(weth, wethDeposited);
        uint256 wbtcValue = dscEngine.getUSDValue(wbtc, wbtcDeposited);

        assert(wethValue+wbtcValue > totalSupply);
    }
}

[EngrPips]

increase the runs value to 1000 in your Foundry.toml and then retry and let's see if that helps.

[invariant]
runs = 1000
depth = 128
fail_on_revert = false

[EngrPips]

Hello @Jain-Sameer, This is tough, but in this assert(wethValue+wbtcValue > totalSupply); use >= instead of > then retry let's see if that helps. Don't forget to run forge clean, and delete the cache folder before retrying.

[Jain-Sameer]

That solved the issue, lol ,but why the test wasn't even being run without the = ?

[EngrPips]

Read this discussion #3026 (reply in thread)

[Jain-Sameer]

This doesn't have the reason for why it doesn't it even execute the test. I understand the difference between > and >=. Guess, will have to just move on.

[EngrPips]

Sometimes, we just have to move on!