prod invariant test

Author: itsshantanu

.github/workflows/bb-ci-utils.yml

@@ -39,24 +39,24 @@ jobs:
   #     match-path: "tests/unit/**/*.sol"
   #     name: "Unit tests"
 
-  test-integration:
+  # test-integration:
+  #   needs: ["build"]
+  #   uses: "itsshantanu/gha-utils/.github/workflows/bb-forge-test.yml@demo/bb-ci"
+  #   secrets: inherit
+  #   with:
+  #     foundry-fuzz-runs: 2000
+  #     foundry-profile: "test-optimized"
+  #     match-path: "tests/integration/**/*.sol"
+  #     name: "Integration tests"
+
+  test-invariant:
     needs: ["build"]
     uses: "itsshantanu/gha-utils/.github/workflows/bb-forge-test.yml@demo/bb-ci"
     secrets: inherit
     with:
-      foundry-fuzz-runs: 2000
-      foundry-profile: "test-optimized"
-      match-path: "tests/integration/**/*.sol"
-      name: "Integration tests"
-
-  # test-invariant:
-  #   needs: ["check", "build"]
-  #   uses: "itsshantanu/gha-utils/.github/workflows/bb-forge-test.yml@demo/bb-ci"
-  #   secrets: inherit
-  #   with:
-  #     foundry-profile: "lite"
-  #     match-path: "tests/invariant/**/*.sol"
-  #     name: "Invariant tests"
+      foundry-profile: "lite"
+      match-path: "tests/invariant/**/*.sol"
+      name: "Invariant tests"
 
   # test-fork:
   #   needs: ["check", "build"]

tests/invariant/Invariant.t.sol

@@ -123,7 +123,8 @@ contract Invariant_Test is Base_Test, StdInvariant {
         for (uint256 i = 0; i < lastStreamId; ++i) {
             uint256 streamId = lockupStore.streamIds(i);
             uint128 depositAmount = lockup.getDepositedAmount(streamId);
-            assertNotEq(depositAmount, 0, "Invariant violation: stream non-null, deposited amount zero");
+            // INTENTIONALLY BREAK: Expect deposit amount to be zero (which it shouldn't be)
+            assertEq(depositAmount, 0, "Invariant violation: stream exists but deposited amount is not zero");
         }
     }