Problem with Invariant Test

[devak07]

Hello!
I have problem with my invariant test
It looks like this:

// SPDX-License-Identifier: SEE LICENSE IN LICENSE
pragma solidity ^0.8.20;

import {Test} from "forge-std/Test.sol";
import {StdInvariant} from "forge-std/StdInvariant.sol";
import {FailOnRevertHandler} from "test/fuzz/failOnRevert/FailOnRevertHandler.t.sol";
import {Deploy} from "script/Deploy.s.sol";
import {StabilityEngine} from "src/StabilityEngine.sol";
import {CollateralToken} from "src/CollateralToken.sol";

contract FailOnRevertInvariants is StdInvariant, Test {
    StabilityEngine stabilityEngine;
    CollateralToken collateralToken;

    function setUp() external {
        Deploy deploy = new Deploy();
        stabilityEngine = deploy.run();
        collateralToken = CollateralToken(stabilityEngine.getCollateralTokenAddress());
        FailOnRevertHandler handler = new FailOnRevertHandler(stabilityEngine, collateralToken);
        targetContract(address(handler));
    }

    function invariant__gettersCantRevert() public view {
        stabilityEngine.getCollateralTokenAddress();
        stabilityEngine.getPriceFeedAddress();
    }
}

And function invariant__gettersCantRevert() doesn't call only getter functions that was set up:

stabilityEngine.getCollateralTokenAddress();
        stabilityEngine.getPriceFeedAddress();

It fails like this:

Encountered 1 failing test in test/fuzz/failOnRevert/FailOnRevertInvariants.t.sol:FailOnRevertInvariants
[FAIL: invariant__gettersCantRevert persisted failure revert]
        [Sequence]
                sender=0x0000000000000000000000000000000000000d95 addr=[src/StabilityEngine.sol:StabilityEngine]0x34A1D3fff3958843C43aD80F30b94c510645C316 calldata=redeemCollateral(uint256) args=[174970303670340248399625453295528073947360275677305898 [1.749e53]]
 invariant__gettersCantRevert() (runs: 1, calls: 1, reverts: 1)```


* Handler has no code at this moment and looks like this:
```// SPDX-License-Identifier: SEE LICENSE IN LICENSE
pragma solidity ^0.8.20;

import {Test} from "forge-std/Test.sol";
import {StdInvariant} from "forge-std/StdInvariant.sol";
import {FailOnRevertHandler} from "test/fuzz/failOnRevert/FailOnRevertHandler.t.sol";
import {Deploy} from "script/Deploy.s.sol";
import {StabilityEngine} from "src/StabilityEngine.sol";
import {CollateralToken} from "src/CollateralToken.sol";

contract FailOnRevertHandler is Test {
    StabilityEngine stabilityEngine;
    CollateralToken collateralToken;

    constructor(StabilityEngine _stabilityEngine, CollateralToken _collateralToken) {
        stabilityEngine = _stabilityEngine;
        collateralToken = _collateralToken;
    }
}

I would be very gratefull with your help!

Thank you in advance!!!

[EngrPips]

Have you run forge clean, delete the cache folder if you have any, run foundryup and then retry your test.

[devak07]

Thank you so much!!
But may I have one more question?

Why and how it worked that way?

Thank you for your help.

[EngrPips]

Foundry caches information about your test process and uses that cached information for any process that is similar to what you have initially run, which, in return, means it ignores all of the new changes you have made. So if you have run a test that failed and then you make appropriate changes to make the test pass, Foundry wouldn't reflect the changes you made because of the details it has cached from the failed test, but when you clear the cache and do all of that stuff I suggested. Foundry then delete all its cache and runs a fresh process which will now run with the current state of your test.

[EngrPips]

Keep crushing it, Friend.

[devak07]

Oh, thank you so much again, you're doing good job!

[EngrPips]

Thanks for the good words.