DEFI:fuzz testing:Deposit handler

[nikitabiichuk2009]

I don't understand why we can't make this assertion:

assert(totalCollateralValue > totalSupply);

Here is the full invariant function:

function invariant_protocolMustHaveMoreCollateralThanTotalSupply() public view {
    uint256 totalSupply = dsc.totalSupply();
    uint256 totalWETHCollateral = IERC20(weth).balanceOf(address(dsce));
    uint256 totalWBTCCollateral = IERC20(wbtc).balanceOf(address(dsce));
    uint256 totalWETHValue = dsce.getUsdValueOfCollateral(weth, totalWETHCollateral);
    uint256 totalWBTCValue = dsce.getUsdValueOfCollateral(wbtc, totalWBTCCollateral);
    uint256 totalCollateralValue = totalWETHValue + totalWBTCValue;
    assert(totalCollateralValue > totalSupply);
}

The test fails with the following error:

[FAIL: failed to set up invariant testing environment: panic: assertion failed (0x01)] 
invariant_protocolMustHaveMoreCollateralThanTotalSupply() (runs: 0, calls: 0, reverts: 0)

I expected the assertion to hold because we handle the case where collateral is zero by bounding the deposit value between 1 and type(uint96).max.

Someone kindly help

[EngrPips]

Hello @nikitabiichuk2009, Please read this discussion #3026 (reply in thread) I believe it will help you.

[nikitabiichuk2009]

Of course

[EngrPips]

I am unsure what the problem is.

[EngrPips]

The suggestion in this discussion #3026 (reply in thread) has been the solution to this problem you are running into. I am unsure why your case is different.

[nikitabiichuk2009]

Yeah strange...

[EngrPips]

Indeed.