Failed to set up invariant testing environment

[sahil-kaushik1]

// SPDX-License-Identifier: MIT
// Have our invariant aka properties

// invariants-
// total supply of dsc should be less than total value of calleateral
// getter view function shhoul never rever <- evergreen invariant

pragma solidity 0.8.20;

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 {DSCEngine} from "src/DSCEngine.sol";
import {DecentralisedStableCoin} from "src/DecentralisedStablecoin.sol";
import {HelperConfig} from "script/HelperConfig.s.sol";
import {IERC20} from "lib/openzeppelin-contracts/contracts/token/ERC20/IERC20.sol";

contract OpenInvariantTest is StdInvariant, Test {
    DeployDSC deployer;
    DSCEngine dsce;
    DecentralisedStableCoin dsc;
    HelperConfig config;
    address weth;
    address wbtc;

    function setUp() external {
        deployer = new DeployDSC();
        (dsc, dsce, config) = deployer.run();
        (, , weth, wbtc, ) = config.activeNetworkConfig();
        console.log("Targeting contract:", address(dsce)); // Debug log

        targetContract((address(dsce)));
        console.log("done");
    }

    function invariant_protocolMustHaveMoreValueThanTotalSupply() public view {
        uint256 totalSupply = dsc.totalSupply();
        uint256 totalWethDeposited = IERC20(weth).balanceOf(address(dsce));
        uint256 totalWbtcDeposited = IERC20(wbtc).balanceOf(address(dsce));

        uint256 wethValue = dsce.getValueUSD(weth, totalWethDeposited);
        uint256 wbtcValue = dsce.getValueUSD(wbtc, totalWbtcDeposited);

        assert((wethValue + wbtcValue) > totalSupply);
    }
}

error i am getting is that it is not able to setuip the invariant test envioronment
the setup function runs soomthly while the other function throws an error .... Why ???

[sahil-kaushik1]

for futher assistance

Ran 1 test for test/fuzz/OpenInvariantsTest.t.sol:OpenInvariantTest
[FAIL: failed to set up invariant testing environment: No contracts to fuzz.] invariant_protocolMustHaveMoreValueThanTotalSupply() (runs: 0, calls: 0, reverts: 0)
Logs:
  Targeting contract: 0x50EEf481cae4250d252Ae577A09bF514f224C6C4
  done

Traces:
  [10596090] OpenInvariantTest::setUp()
    ├─ [4782911] → new <unknown>@0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f
    │   └─ ← [Return] 23776 bytes of code
    ├─ [5608679] 0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f::run()
    │   ├─ [3733741] → new <unknown>@0x104fBc016F4bb334D775a19E8A6510109AC63E00
    │   │   ├─ [0] VM::startBroadcast()
    │   │   │   └─ ← [Return] 
    │   │   ├─ [372255] → new <unknown>@0x34A1D3fff3958843C43aD80F30b94c510645C316
    │   │   │   └─ ← [Return] 1082 bytes of code
    │   │   ├─ [658696] → new <unknown>@0x90193C961A926261B756D1E5bb255e67ff9498A1
    │   │   │   ├─ emit Transfer(from: 0x0000000000000000000000000000000000000000, to: 0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f, value: 100000000000 [1e11])
    │   │   │   └─ ← [Return] 2828 bytes of code
    │   │   ├─ [372255] → new <unknown>@0xA8452Ec99ce0C64f20701dB7dD3abDb607c00496
    │   │   │   └─ ← [Return] 1082 bytes of code
    │   │   ├─ [658696] → new <unknown>@0xBb2180ebd78ce97360503434eD37fcf4a1Df61c3
    │   │   │   ├─ emit Transfer(from: 0x0000000000000000000000000000000000000000, to: 0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f, value: 100000000000 [1e11])
    │   │   │   └─ ← [Return] 2828 bytes of code
    │   │   ├─ [0] VM::stopBroadcast()
    │   │   │   └─ ← [Return] 
    │   │   └─ ← [Return] 7019 bytes of code
    │   ├─ [912] 0x104fBc016F4bb334D775a19E8A6510109AC63E00::activeNetworkConfig() [staticcall]
    │   │   └─ ← [Return] 0x34A1D3fff3958843C43aD80F30b94c510645C316, 0xA8452Ec99ce0C64f20701dB7dD3abDb607c00496, 0x90193C961A926261B756D1E5bb255e67ff9498A1, 0xBb2180ebd78ce97360503434eD37fcf4a1Df61c3, 34255578182196337387402795165358488979336877446916507045826899239861607154518 [3.425e76]
    │   ├─ [0] VM::startBroadcast()
    │   │   └─ ← [Return] 
    │   ├─ [749823] → new <unknown>@0xDB8cFf278adCCF9E9b5da745B44E754fC4EE3C76
    │   │   ├─ emit OwnershipTransferred(previousOwner: 0x0000000000000000000000000000000000000000, newOwner: DefaultSender: [0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38])
    │   │   └─ ← [Return] 3401 bytes of code
    │   ├─ [884280] → new <unknown>@0x50EEf481cae4250d252Ae577A09bF514f224C6C4
    │   │   └─ ← [Return] 3628 bytes of code
    │   ├─ [2446] 0xDB8cFf278adCCF9E9b5da745B44E754fC4EE3C76::transferOwnership(0x50EEf481cae4250d252Ae577A09bF514f224C6C4)
    │   │   ├─ emit OwnershipTransferred(previousOwner: DefaultSender: [0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38], newOwner: 0x50EEf481cae4250d252Ae577A09bF514f224C6C4)
    │   │   └─ ← [Stop] 
    │   ├─ [0] VM::stopBroadcast()
    │   │   └─ ← [Return] 
    │   └─ ← [Return] 0xDB8cFf278adCCF9E9b5da745B44E754fC4EE3C76, 0x50EEf481cae4250d252Ae577A09bF514f224C6C4, 0x104fBc016F4bb334D775a19E8A6510109AC63E00
    ├─ [912] 0x104fBc016F4bb334D775a19E8A6510109AC63E00::activeNetworkConfig() [staticcall]
    │   └─ ← [Return] 0x34A1D3fff3958843C43aD80F30b94c510645C316, 0xA8452Ec99ce0C64f20701dB7dD3abDb607c00496, 0x90193C961A926261B756D1E5bb255e67ff9498A1, 0xBb2180ebd78ce97360503434eD37fcf4a1Df61c3, 34255578182196337387402795165358488979336877446916507045826899239861607154518 [3.425e76]
    ├─ [0] console::log("Targeting contract:", 0x50EEf481cae4250d252Ae577A09bF514f224C6C4) [staticcall]
    │   └─ ← [Stop] 
    ├─ [0] console::log("done") [staticcall]
    │   └─ ← [Stop] 
    └─ ← [Stop] 

Suite result: FAILED. 0 passed; 1 failed; 0 skipped; finished in 2.67ms (483.24µs CPU time)

Ran 1 test suite in 1.09s (2.67ms CPU time): 0 tests passed, 1 failed, 0 skipped (1 total tests)

Failing tests:
Encountered 1 failing test in test/fuzz/OpenInvariantsTest.t.sol:OpenInvariantTest
[FAIL: failed to set up invariant testing environment: No contracts to fuzz.] invariant_protocolMustHaveMoreValueThanTotalSupply() (runs: 0, calls: 0, reverts: 0)

Encountered a total of 1 failing tests, 0 tests succeeded

[EngrPips]

Hello @sahil-kaushik1, Increase the number of runs in your Foundry.toml then retry. Let's see if the issue persists

[sahil-kaushik1]

the problem still persists even after increasing the runs and i even did it to 10000 but still it is not able to setup invariant environment!!!

and if u carefully see the error it is saying no contracts to fuzz!!!!!!!!!!

[EngrPips]

You can also read this discussion #3026 (reply in thread) I think it will be helpful.

[EngrPips]

You can also read this discussion #3026 (reply in thread) I think it will be helpful.

Have you read this discussion?

[sahil-kaushik1]

yup i read it but the thing different in my error is that it is saying no contracts to fuzz

[EngrPips]

That's tough, Have you tried running forge clean, deleting the cache folder if you have any, and running foundryup and then retrying? Sometimes, Foundry acts up unnecessarily.