Lesson 12 Invariant_testing Error

[Shiv2116]

The function is

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.getUsdValue(weth,totalWethDeposited);
        uint256 wbtcValue = dsce.getUsdValue(wbtc,totalWbtcDeposited);

        console.log("weth :", wethValue);
        console.log("wbtc :", wbtcValue);
        console.log(totalSupply);
        assert(wethValue+wbtcValue>=totalSupply);
    }

and the error is

root@DESKTOP-EFJQBA5:~/solidity-course/stablecoin# forge test --match-test invariant_protocolMustHaveMoreValueThanTotalSupply -vvvv
[⠔] Compiling...
[⠆] Compiling 1 files with 0.8.19
[⠰] Solc 0.8.19 finished in 1.73s
Compiler run successful!

Running 1 test for test/fuzz/InvariantsTest.t.sol:InvariantTest
[FAIL. Reason: Arithmetic over/underflow]
        [Sequence]
                sender=0x0000000000000000000000000000000000000b72 addr=[src/DSCEngine.sol:DSCEngine]0x62c20aa1e0272312bc100b4e23b4dc1ed96dd7d1 calldata=redeemCollateralForDsc(address,uint256,uint256), args=[0x54F20fFdb68f9cDB4aD56a510aeB0dd4566a88D0, 115792089237316195423570985008687907853269984665640564039457584007913129639934 [1.157e77], 1959031482436246920601743523560577334732314985368655456129135950934602 [1.959e69]]

 invariant_protocolMustHaveMoreValueThanTotalSupply() (runs: 1, calls: 1, reverts: 1)
Traces:
  [10904369] InvariantTest::setUp() 
    ├─ [4941847] → new DeployDSC@0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f
    │   └─ ← 24459 bytes of code
    ├─ [5744900] DeployDSC::run() 
    │   ├─ [3755480] → new HelperConfig@0x104fBc016F4bb334D775a19E8A6510109AC63E00
    │   │   ├─ [0] VM::startBroadcast() 
    │   │   │   └─ ← ()
    │   │   ├─ [372255] → new MockV3Aggregator@0x90193C961A926261B756D1E5bb255e67ff9498A1
    │   │   │   └─ ← 1082 bytes of code
    │   │   ├─ [658696] → new ERC20Mock@0xA8452Ec99ce0C64f20701dB7dD3abDb607c00496
    │   │   │   ├─ emit Transfer(from: 0x0000000000000000000000000000000000000000, to: DeployDSC: [0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f], value: 100000000000 [1e11])
    │   │   │   └─ ← 2828 bytes of code
    │   │   ├─ [372255] → new MockV3Aggregator@0xBb2180ebd78ce97360503434eD37fcf4a1Df61c3
    │   │   │   └─ ← 1082 bytes of code
    │   │   ├─ [658696] → new ERC20Mock@0xDB8cFf278adCCF9E9b5da745B44E754fC4EE3C76
    │   │   │   ├─ emit Transfer(from: 0x0000000000000000000000000000000000000000, to: DeployDSC: [0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f], value: 100000000000 [1e11])
    │   │   │   └─ ← 2828 bytes of code
    │   │   ├─ [0] VM::stopBroadcast() 
    │   │   │   └─ ← ()
    │   │   └─ ← 7017 bytes of code
    │   ├─ [912] HelperConfig::activeNetworkConfig() [staticcall]
    │   │   └─ ← MockV3Aggregator: [0x90193C961A926261B756D1E5bb255e67ff9498A1], MockV3Aggregator: [0xBb2180ebd78ce97360503434eD37fcf4a1Df61c3], ERC20Mock: [0xA8452Ec99ce0C64f20701dB7dD3abDb607c00496], ERC20Mock: [0xDB8cFf278adCCF9E9b5da745B44E754fC4EE3C76], 77814517325470205911140941194401928579557062014761831930645393041380819009408 [7.781e76]
    │   ├─ [0] VM::startBroadcast() 
    │   │   └─ ← ()
    │   ├─ [748223] → new DecentralizedStableCoin@0x50EEf481cae4250d252Ae577A09bF514f224C6C4
    │   │   ├─ emit OwnershipTransferred(previousOwner: 0x0000000000000000000000000000000000000000, newOwner: DefaultSender: [0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38])
    │   │   └─ ← 3393 bytes of code
    │   ├─ [1000325] → new DSCEngine@0x62c20Aa1e0272312BC100b4e23B4DC1Ed96dD7D1
    │   │   └─ ← 4318 bytes of code
    │   ├─ [2446] DecentralizedStableCoin::transferOwnership(DSCEngine: [0x62c20Aa1e0272312BC100b4e23B4DC1Ed96dD7D1]) 
    │   │   ├─ emit OwnershipTransferred(previousOwner: DefaultSender: [0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38], newOwner: DSCEngine: [0x62c20Aa1e0272312BC100b4e23B4DC1Ed96dD7D1])
    │   │   └─ ← ()
    │   ├─ [0] VM::stopBroadcast() 
    │   │   └─ ← ()
    │   └─ ← DecentralizedStableCoin: [0x50EEf481cae4250d252Ae577A09bF514f224C6C4], DSCEngine: [0x62c20Aa1e0272312BC100b4e23B4DC1Ed96dD7D1], HelperConfig: [0x104fBc016F4bb334D775a19E8A6510109AC63E00]
    ├─ [912] HelperConfig::activeNetworkConfig() [staticcall]
    │   └─ ← MockV3Aggregator: [0x90193C961A926261B756D1E5bb255e67ff9498A1], MockV3Aggregator: [0xBb2180ebd78ce97360503434eD37fcf4a1Df61c3], ERC20Mock: [0xA8452Ec99ce0C64f20701dB7dD3abDb607c00496], ERC20Mock: [0xDB8cFf278adCCF9E9b5da745B44E754fC4EE3C76], 77814517325470205911140941194401928579557062014761831930645393041380819009408 [7.781e76]
    └─ ← ()

  [2793] DSCEngine::redeemCollateralForDsc(0x54F20fFdb68f9cDB4aD56a510aeB0dd4566a88D0, 115792089237316195423570985008687907853269984665640564039457584007913129639934 [1.157e77], 1959031482436246920601743523560577334732314985368655456129135950934602 [1.959e69]) 
    └─ ← "Arithmetic over/underflow"

  [2793] DSCEngine::redeemCollateralForDsc(0x54F20fFdb68f9cDB4aD56a510aeB0dd4566a88D0, 115792089237316195423570985008687907853269984665640564039457584007913129639934 [1.157e77], 1959031482436246920601743523560577334732314985368655456129135950934602 [1.959e69]) 
    └─ ← "Arithmetic over/underflow"

Test result: FAILED. 0 passed; 1 failed; finished in 14.36ms

Failing tests:
Encountered 1 failing test in test/fuzz/InvariantsTest.t.sol:InvariantTest
[FAIL. Reason: Arithmetic over/underflow]
        [Sequence]
                sender=0x0000000000000000000000000000000000000b72 addr=[src/DSCEngine.sol:DSCEngine]0x62c20aa1e0272312bc100b4e23b4dc1ed96dd7d1 calldata=redeemCollateralForDsc(address,uint256,uint256), args=[0x54F20fFdb68f9cDB4aD56a510aeB0dd4566a88D0, 115792089237316195423570985008687907853269984665640564039457584007913129639934 [1.157e77], 1959031482436246920601743523560577334732314985368655456129135950934602 [1.959e69]]

 invariant_protocolMustHaveMoreValueThanTotalSupply() (runs: 1, calls: 1, reverts: 1)

[palmcivet7]

Did you figure out why this was happening?

[Shiv2116]

yep, the same mistake was committed by patrick in video,i blindly copied it
now i got it

[DuyVo96]

How did you fix it? I saw in the video he put wrong position of variables in function getColalteralBalaceOfUser but the test gone smoothly