[Defi Protocol] Having trouble with invariant tests #2441

0xkvm · 2024-09-10T14:35:47Z

0xkvm
Sep 10, 2024

Hello!

This is my code:

// SPDX-License-Identifier: MIT

// Have our invariant aka properties

// What are our invariants?

// 1. The total supply of DSC should be less than the total value of collateral
// 2. Getter view functuions should never revert <- evergreen invariant

pragma solidity ^0.8.19;

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

contract OpenInvariantsTest is StdInvariant, Test {
    DeployDSC deployer;
    DSCEngine dsce;
    DecentralizedStableCoin dsc;
    HelperConfig config;
    address weth;
    address wbtc;
    Handler handler;

    function setUp() external {
        deployer = new DeployDSC();
        (dsc, dsce, config) = deployer.run();
        (,, weth, wbtc,) = config.activeNetworkConfig();
        // targetContract(address(dsce));
        handler = new Handler(dsce, dsc);
        targetContract(address(handler));
        // hey, don't call redeem collateral unless there is collateral to redeem
    }

    function invariant_protocolMustHaveMoreValueThanTotalSupply() public view {
        // get the value of all the collateral in the protocol
        // compare it to all the debt (dsc)
        uint256 totalSupply = dsc.totalSupply();
        uint256 totalWethDeposited = IERC20(weth).balanceOf(address(dsc));
        uint256 totalBtcDeposited = IERC20(wbtc).balanceOf(address(dsc));

        uint256 wethValue = dsce.getUsdValue(weth, totalWethDeposited);
        uint256 wbtcValue = dsce.getUsdValue(wbtc, totalBtcDeposited);

        console.log("weth value: ", wethValue);
        console.log("wbtc value: ", wbtcValue);
        console.log("total supply: ", totalSupply);

        assert(wethValue + wbtcValue > totalSupply);
    }
}

This is the terminal output:

forge test --mt invariant_protocolMustHaveMoreValueThanTotalSupply
[⠊] Compiling...
No files changed, compilation skipped

Ran 1 test for test/fuzz/Invariants.t.sol:OpenInvariantsTest
[FAIL. Reason: failed to set up invariant testing environment: panic: assertion failed (0x01)] invariant_protocolMustHaveMoreValueThanTotalSupply() (runs: 0, calls: 0, reverts: 0)
Suite result: FAILED. 0 passed; 1 failed; 0 skipped; finished in 9.80ms (3.59ms CPU time)

Ran 1 test for test/fuzz/OpenInvariantsTest.t.sol:OpenInvariantsTest
[FAIL. Reason: failed to set up invariant testing environment: panic: assertion failed (0x01)] invariant_protocolMustHaveMoreValueThanTotalSupply() (runs: 0, calls: 0, reverts: 0)
Suite result: FAILED. 0 passed; 1 failed; 0 skipped; finished in 10.12ms (3.91ms CPU time)

Ran 2 test suites in 18.51ms (19.92ms CPU time): 0 tests passed, 2 failed, 0 skipped (2 total tests)

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

Encountered 1 failing test in test/fuzz/OpenInvariantsTest.t.sol:OpenInvariantsTest
[FAIL. Reason: failed to set up invariant testing environment: panic: assertion failed (0x01)] invariant_protocolMustHaveMoreValueThanTotalSupply() (runs: 0, calls: 0, reverts: 0)

Encountered a total of 2 failing tests, 0 tests succeeded

Please help!

0xkvm · 2024-09-10T15:09:46Z

0xkvm
Sep 10, 2024
Author

Here is a detailed terminal output:

forge test --mt invariant_protocolMustHaveMoreValueThanTotalSupply -vvvv
[⠢] Compiling...
No files changed, compilation skipped

Ran 1 test for test/fuzz/OpenInvariantsTest.t.sol:OpenInvariantsTest
[FAIL. Reason: failed to set up invariant testing environment: panic: assertion failed (0x01)] invariant_protocolMustHaveMoreValueThanTotalSupply() (runs: 0, calls: 0, reverts: 0)
Traces:
  [10555751] OpenInvariantsTest::setUp()
    ├─ [4735649] → new DeployDSC@0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f
    │   └─ ← [Return] 23540 bytes of code
    ├─ [5619526] DeployDSC::run()
    │   ├─ [3734832] → new HelperConfig@0x104fBc016F4bb334D775a19E8A6510109AC63E00
    │   │   ├─ [0] VM::startBroadcast()
    │   │   │   └─ ← [Return] 
    │   │   ├─ [372255] → new MockV3Aggregator@0x90193C961A926261B756D1E5bb255e67ff9498A1
    │   │   │   └─ ← [Return] 1082 bytes of code
    │   │   ├─ [658858] → new ERC20Mock@0xA8452Ec99ce0C64f20701dB7dD3abDb607c00496
    │   │   │   ├─ emit Transfer(from: 0x0000000000000000000000000000000000000000, to: DeployDSC: [0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f], value: 100000000000 [1e11])
    │   │   │   └─ ← [Return] 2829 bytes of code
    │   │   ├─ [372255] → new MockV3Aggregator@0xBb2180ebd78ce97360503434eD37fcf4a1Df61c3
    │   │   │   └─ ← [Return] 1082 bytes of code
    │   │   ├─ [658858] → new ERC20Mock@0xDB8cFf278adCCF9E9b5da745B44E754fC4EE3C76
    │   │   │   ├─ emit Transfer(from: 0x0000000000000000000000000000000000000000, to: DeployDSC: [0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f], value: 100000000000 [1e11])
    │   │   │   └─ ← [Return] 2829 bytes of code
    │   │   ├─ [0] VM::stopBroadcast()
    │   │   │   └─ ← [Return] 
    │   │   └─ ← [Return] 6912 bytes of code
    │   ├─ [934] HelperConfig::activeNetworkConfig() [staticcall]
    │   │   └─ ← [Return] MockV3Aggregator: [0x90193C961A926261B756D1E5bb255e67ff9498A1], MockV3Aggregator: [0xBb2180ebd78ce97360503434eD37fcf4a1Df61c3], ERC20Mock: [0xA8452Ec99ce0C64f20701dB7dD3abDb607c00496], ERC20Mock: [0xDB8cFf278adCCF9E9b5da745B44E754fC4EE3C76], 77814517325470205911140941194401928579557062014761831930645393041380819009408 [7.781e76]
    │   ├─ [0] VM::startBroadcast(<pk>)
    │   │   └─ ← [Return] 
    │   ├─ [750013] → new DecentralizedStableCoin@0x5FbDB2315678afecb367f032d93F642f64180aa3
    │   │   ├─ emit OwnershipTransferred(previousOwner: 0x0000000000000000000000000000000000000000, newOwner: 0xf39Fd6e51aad88F6F4ce6aB8827279cffFb92266)
    │   │   └─ ← [Return] 3402 bytes of code
    │   ├─ [893890] → new DSCEngine@0xe7f1725E7734CE288F8367e1Bb143E90bb3F0512
    │   │   └─ ← [Return] 3787 bytes of code
    │   ├─ [2446] DecentralizedStableCoin::transferOwnership(DSCEngine: [0xe7f1725E7734CE288F8367e1Bb143E90bb3F0512])
    │   │   ├─ emit OwnershipTransferred(previousOwner: 0xf39Fd6e51aad88F6F4ce6aB8827279cffFb92266, newOwner: DSCEngine: [0xe7f1725E7734CE288F8367e1Bb143E90bb3F0512])
    │   │   └─ ← [Stop] 
    │   ├─ [0] VM::stopBroadcast()
    │   │   └─ ← [Return] 
    │   └─ ← [Return] DecentralizedStableCoin: [0x5FbDB2315678afecb367f032d93F642f64180aa3], DSCEngine: [0xe7f1725E7734CE288F8367e1Bb143E90bb3F0512], HelperConfig: [0x104fBc016F4bb334D775a19E8A6510109AC63E00]
    ├─ [934] HelperConfig::activeNetworkConfig() [staticcall]
    │   └─ ← [Return] MockV3Aggregator: [0x90193C961A926261B756D1E5bb255e67ff9498A1], MockV3Aggregator: [0xBb2180ebd78ce97360503434eD37fcf4a1Df61c3], ERC20Mock: [0xA8452Ec99ce0C64f20701dB7dD3abDb607c00496], ERC20Mock: [0xDB8cFf278adCCF9E9b5da745B44E754fC4EE3C76], 77814517325470205911140941194401928579557062014761831930645393041380819009408 [7.781e76]
    └─ ← [Stop] 

Suite result: FAILED. 0 passed; 1 failed; 0 skipped; finished in 67.51ms (18.58ms CPU time)

Ran 1 test for test/fuzz/Invariants.t.sol:OpenInvariantsTest
[FAIL. Reason: failed to set up invariant testing environment: panic: assertion failed (0x01)] invariant_protocolMustHaveMoreValueThanTotalSupply() (runs: 0, calls: 0, reverts: 0)
Traces:
  [11398291] OpenInvariantsTest::setUp()
    ├─ [4735649] → new DeployDSC@0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f
    │   └─ ← [Return] 23540 bytes of code
    ├─ [5619526] DeployDSC::run()
    │   ├─ [3734832] → new HelperConfig@0x104fBc016F4bb334D775a19E8A6510109AC63E00
    │   │   ├─ [0] VM::startBroadcast()
    │   │   │   └─ ← [Return] 
    │   │   ├─ [372255] → new MockV3Aggregator@0x90193C961A926261B756D1E5bb255e67ff9498A1
    │   │   │   └─ ← [Return] 1082 bytes of code
    │   │   ├─ [658858] → new ERC20Mock@0xA8452Ec99ce0C64f20701dB7dD3abDb607c00496
    │   │   │   ├─ emit Transfer(from: 0x0000000000000000000000000000000000000000, to: DeployDSC: [0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f], value: 100000000000 [1e11])
    │   │   │   └─ ← [Return] 2829 bytes of code
    │   │   ├─ [372255] → new MockV3Aggregator@0xBb2180ebd78ce97360503434eD37fcf4a1Df61c3
    │   │   │   └─ ← [Return] 1082 bytes of code
    │   │   ├─ [658858] → new ERC20Mock@0xDB8cFf278adCCF9E9b5da745B44E754fC4EE3C76
    │   │   │   ├─ emit Transfer(from: 0x0000000000000000000000000000000000000000, to: DeployDSC: [0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f], value: 100000000000 [1e11])
    │   │   │   └─ ← [Return] 2829 bytes of code
    │   │   ├─ [0] VM::stopBroadcast()
    │   │   │   └─ ← [Return] 
    │   │   └─ ← [Return] 6912 bytes of code
    │   ├─ [934] HelperConfig::activeNetworkConfig() [staticcall]
    │   │   └─ ← [Return] MockV3Aggregator: [0x90193C961A926261B756D1E5bb255e67ff9498A1], MockV3Aggregator: [0xBb2180ebd78ce97360503434eD37fcf4a1Df61c3], ERC20Mock: [0xA8452Ec99ce0C64f20701dB7dD3abDb607c00496], ERC20Mock: [0xDB8cFf278adCCF9E9b5da745B44E754fC4EE3C76], 77814517325470205911140941194401928579557062014761831930645393041380819009408 [7.781e76]
    │   ├─ [0] VM::startBroadcast(<pk>)
    │   │   └─ ← [Return] 
    │   ├─ [750013] → new DecentralizedStableCoin@0x5FbDB2315678afecb367f032d93F642f64180aa3
    │   │   ├─ emit OwnershipTransferred(previousOwner: 0x0000000000000000000000000000000000000000, newOwner: 0xf39Fd6e51aad88F6F4ce6aB8827279cffFb92266)
    │   │   └─ ← [Return] 3402 bytes of code
    │   ├─ [893890] → new DSCEngine@0xe7f1725E7734CE288F8367e1Bb143E90bb3F0512
    │   │   └─ ← [Return] 3787 bytes of code
    │   ├─ [2446] DecentralizedStableCoin::transferOwnership(DSCEngine: [0xe7f1725E7734CE288F8367e1Bb143E90bb3F0512])
    │   │   ├─ emit OwnershipTransferred(previousOwner: 0xf39Fd6e51aad88F6F4ce6aB8827279cffFb92266, newOwner: DSCEngine: [0xe7f1725E7734CE288F8367e1Bb143E90bb3F0512])
    │   │   └─ ← [Stop] 
    │   ├─ [0] VM::stopBroadcast()
    │   │   └─ ← [Return] 
    │   └─ ← [Return] DecentralizedStableCoin: [0x5FbDB2315678afecb367f032d93F642f64180aa3], DSCEngine: [0xe7f1725E7734CE288F8367e1Bb143E90bb3F0512], HelperConfig: [0x104fBc016F4bb334D775a19E8A6510109AC63E00]
    ├─ [934] HelperConfig::activeNetworkConfig() [staticcall]
    │   └─ ← [Return] MockV3Aggregator: [0x90193C961A926261B756D1E5bb255e67ff9498A1], MockV3Aggregator: [0xBb2180ebd78ce97360503434eD37fcf4a1Df61c3], ERC20Mock: [0xA8452Ec99ce0C64f20701dB7dD3abDb607c00496], ERC20Mock: [0xDB8cFf278adCCF9E9b5da745B44E754fC4EE3C76], 77814517325470205911140941194401928579557062014761831930645393041380819009408 [7.781e76]
    ├─ [787742] → new Handler@0x2e234DAe75C793f67A35089C9d99245E1C58470b
    │   └─ ← [Return] 3600 bytes of code
    └─ ← [Stop] 

Suite result: FAILED. 0 passed; 1 failed; 0 skipped; finished in 67.50ms (18.57ms CPU time)

Ran 2 test suites in 1.48s (135.01ms CPU time): 0 tests passed, 2 failed, 0 skipped (2 total tests)

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

Encountered 1 failing test in test/fuzz/OpenInvariantsTest.t.sol:OpenInvariantsTest
[FAIL. Reason: failed to set up invariant testing environment: panic: assertion failed (0x01)] invariant_protocolMustHaveMoreValueThanTotalSupply() (runs: 0, calls: 0, reverts: 0)

Encountered a total of 2 failing tests, 0 tests succeeded

0 replies

EngrPips · 2024-09-10T16:50:13Z

EngrPips
Sep 10, 2024

Hello @gitofrivia, Please run forge clean, foundryup , then retry the process.

10 replies

0xkvm Sep 11, 2024
Author

That's weird, the link is working in the browser

0xkvm Sep 11, 2024
Author

maybe try cloning https://github.com/gitofrivia/Defi-protocol this instead

EngrPips Sep 11, 2024

I will try this and circle back as soon as I can

shivamsk Sep 20, 2024

@EngrPips
I am facing the same issue .
Tried the foundryup and forge clean . Still no luck.
Please help in fixing it.
Can clone here:
https://github.com/shivamsk/foundry-defi-stablecoin

forge test --match-test invariant_protocolMustHaveMoreValueThanTotalSupply
[⠊] Compiling...
No files changed, compilation skipped

Ran 1 test for test/fuzz/Invariants.t.sol:Invariants
[FAIL: failed to set up invariant testing environment: panic: assertion failed (0x01)] invariant_protocolMustHaveMoreValueThanTotalSupply() (runs: 0, calls: 0, reverts: 0)
Suite result: FAILED. 0 passed; 1 failed; 0 skipped; finished in 25.12ms (6.22ms CPU time)

Ran 1 test suite in 568.69ms (25.12ms CPU time): 0 tests passed, 1 failed, 0 skipped (1 total tests)

Failing tests:
Encountered 1 failing test in test/fuzz/Invariants.t.sol:Invariants
[FAIL: failed to set up invariant testing environment: panic: assertion failed (0x01)] invariant_protocolMustHaveMoreValueThanTotalSupply() (runs: 0, calls: 0, reverts: 0)

Encountered a total of 1 failing tests, 0 tests succeeded

EngrPips Sep 20, 2024

maybe try cloning https://github.com/gitofrivia/Defi-protocol this instead

This contains only Counter files. Why is that?

jprabhat · 2024-12-17T18:09:26Z

jprabhat
Dec 17, 2024

Hey, @0xkvm I also got this issue but gets resolved by putting these in foundary.toml

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

as we increased runs value to 1000 the setup gets completed and test passes successfully!
hope this will help you

1 reply

EngrPips Dec 17, 2024

Great heads-up.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[Defi Protocol] Having trouble with invariant tests #2441

{{title}}

Replies: 3 comments 11 replies

{{title}}

{{title}}

{{editor}}'s edit

{{editor}}'s edit

{{title}}

{{title}}

{{title}}

{{title}}

{{title}}

{{title}}

{{title}}

Select a reply

[Defi Protocol] Having trouble with invariant tests #2441

0xkvm Sep 10, 2024

Replies: 3 comments · 11 replies

0xkvm Sep 10, 2024 Author

EngrPips Sep 10, 2024

0xkvm Sep 11, 2024 Author

0xkvm Sep 11, 2024 Author

EngrPips Sep 11, 2024

shivamsk Sep 20, 2024

EngrPips Sep 20, 2024

jprabhat Dec 17, 2024

EngrPips Dec 17, 2024

0xkvm
Sep 10, 2024

Replies: 3 comments 11 replies

0xkvm
Sep 10, 2024
Author

EngrPips
Sep 10, 2024

0xkvm Sep 11, 2024
Author

0xkvm Sep 11, 2024
Author

jprabhat
Dec 17, 2024