My Test for Stateful Fuzzing isn't catching the invariant

[BlackAnon22]

StatefulFuzzCatches.sol

// SPDX-License-Identifier: MIT
pragma solidity 0.8.20;

// INVARIANT: doMoreMathAgain should never return 0
contract StatefulFuzzCatches {
    uint256 public myValue = 1;
    uint256 public storedValue = 100;

    /*
     * @dev Should never return 0
     */
    function doMoreMathAgain(uint128 myNumber) public returns (uint256) {
        uint256 response = (uint256(myNumber) / 1) + myValue;
        storedValue = response;
        return response;
    }

    function changeValue(uint256 newValue) public {
        myValue = newValue;
    }
}

StatefulFuzzCatches.t.sol

// SPDX-License-Identifier: MIT

pragma solidity 0.8.20;

import {Test} from "forge-std/Test.sol";
import {StdInvariant} from "forge-std/StdInvariant.sol";
import {StatefulFuzzCatches} from "../../src/invariant-break/StatefulFuzzCatches.sol";

contract StatefulFuzzCatchTest is StdInvariant, Test {
    StatefulFuzzCatches sfc;

    function setUp() public {
        sfc = new StatefulFuzzCatches();
        targetContract(address(sfc));
    }

    function statefulFuzz_catchesInvariant() public view {
        assert(sfc.storedValue() != 0);
    }

}

The output I get after compiling the test

┌──(bl4ck4non💀bl4ck4non-sec)-[~/Documents/web3/sec_audit/sc-exploits-minimized]
└─$ forge test --mt statefulFuzz_catchesInvariant -vvv
[⠊] Compiling...
No files changed, compilation skipped

Ran 1 test for test/invariant-break/StatefulFuzzCatches.t.sol:StatefulFuzzCatchTest
[PASS] statefulFuzz_catchesInvariant() (runs: 64, calls: 2048, reverts: 30)
Suite result: ok. 1 passed; 0 failed; 0 skipped; finished in 170.04ms (168.93ms CPU time)

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

I don't know where the issue is from

[EngrPips]

Hello @BlackAnon22, what is the issue?

[BlackAnon22]

In the TSwap Section of the course, Patrick wrote the StatefulFuzzCatches.sol file which contains an invariant, but then when he wrote his test script StatefulFuzzCatches.t.sol which was similar to what I wrote (sent the test script in the previous discussion) he was able to break the invariant while I wasn't.

So I want to know why I couldn't break the invariant even when I had a similar script and even set fail_on_revert to false

[EngrPips]

Have you tried increasing your number of runs and confirmed that you are using the same seed as Patrick for the runs?

[BlackAnon22]

Yes I have

This is the link to his test script

[EngrPips]

If you are running the exact set-up as him then I expect that you get the same result

[BlackAnon22]

I'm not actually, that's why I sent the script and also my output earlier

[EngrPips]

One suggestion I will give is that you should run forge clean then delete your cache folder if you have any and then run foundryup and then retry the test with the new seed I suggested. Let's see if that helps.

[BlackAnon22]

Alright, I'll try that

[EngrPips]

Yeah, Try that. Let's see.

[BlackAnon22]

I tried doing this on 2 different PCs, it didn't work still

[EngrPips]

Thats tough. I am unsure what could be wrong. I won't let that block me anyway I will just continue with the course and revisit it later.