debugging CDPM-09

ebtc-protocol · Mar 7, 2024 · 06ca316 · 06ca316
1 parent c45acde
commit 06ca316
Show file tree

Hide file tree

Showing 2 changed files with 25 additions and 7 deletions.
diff --git a/packages/contracts/contracts/TestContracts/invariants/TargetFunctions.sol b/packages/contracts/contracts/TestContracts/invariants/TargetFunctions.sol
@@ -26,6 +26,7 @@ import "./BeforeAfter.sol";
 import "./TargetContractSetup.sol";
 import "./Asserts.sol";
 import "../BaseStorageVariables.sol";
+import "forge-std/console2.sol";
 
 abstract contract TargetFunctions is Properties {
     modifier setup() virtual {
@@ -377,11 +378,28 @@ abstract contract TargetFunctions is Properties {
     }
 
     function _check_CDPM_09() private {
-        eq(
-            vars.cdpStakeAfter,
-            (vars.cdpCollAfter * vars.totalStakesSnapshotAfter) / vars.totalCollateralSnapshotAfter,
-            CDPM_09
-        );
+        console2.log("cdpStakeAfter", vars.cdpStakeAfter);
+        console2.log("cdpCollAfter", vars.cdpCollAfter);
+        console2.log("cdpManager.totalStakes()", cdpManager.totalStakes());
+        console2.log("cdpManager.getSystemCollShares()", cdpManager.getSystemCollShares());
+        console2.log("cdpManager.totalStakesSnapshot()", cdpManager.totalStakesSnapshot());
+        console2.log("cdpManager.totalCollateralSnapshot()", cdpManager.totalCollateralSnapshot());
+        console2.log("totalStakesSnapshotAfter", vars.totalStakesSnapshotAfter);
+        console2.log("totalCollateralSnapshotAfter", vars.totalCollateralSnapshotAfter);
+
+        if (vars.totalCollateralSnapshotAfter > 0) {
+            eq(
+                vars.cdpStakeAfter,
+                (vars.cdpCollAfter * vars.totalStakesSnapshotAfter) / vars.totalCollateralSnapshotAfter,
+                CDPM_09
+            );
+        } else {
+            eq(
+                vars.cdpStakeAfter,
+                vars.cdpCollAfter,
+                CDPM_09
+            );
+        }
     }
 
     /** Active Pool TWAP Revert Checks */

diff --git a/packages/contracts/foundry_test/EchidnaToFoundry.t.sol b/packages/contracts/foundry_test/EchidnaToFoundry.t.sol
@@ -505,7 +505,7 @@ contract EToFoundry is
             51745835282927565687010251523416875790034155913406312339604760725754223914917,
             1000
         );
-        vm.warp(block.timestamp + cdpManager.recoveryModeGracePeriodDuration() + 1);
+        /*vm.warp(block.timestamp + cdpManager.recoveryModeGracePeriodDuration() + 1);
         setEthPerShare(
             79832022615203712424393490440177025697015516400034287083326403000335384151815
         );
@@ -528,7 +528,7 @@ contract EToFoundry is
             vars.newIcrBefore < cdpManager.MCR() ||
                 (vars.newIcrBefore < cdpManager.CCR() && vars.isRecoveryModeBefore),
             "Mcr, ccr"
-        );
+        );*/
     }
 
     function testPartialLiquidationCanCloseCDPS() public {