From 2378fccf010fa88e6e099b472a3fb666e96ed4ee Mon Sep 17 00:00:00 2001
From: gallo <alex@entreprenerd.xyz>
Date: Thu, 31 Oct 2024 11:14:59 +0100
Subject: [PATCH] feat: debug BI07

---
 test/recon/CryticToFoundry.sol | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

diff --git a/test/recon/CryticToFoundry.sol b/test/recon/CryticToFoundry.sol
index 274383d2..83f78799 100644
--- a/test/recon/CryticToFoundry.sol
+++ b/test/recon/CryticToFoundry.sol
@@ -241,4 +241,33 @@ uint256 loggerCount;
          console.log("initiativeSnapshot.votes", initiativeSnapshot.votes);
     }
  }
+
+ // forge test --match-test test_property_BI07_4 -vv 
+ function test_property_BI07_4() public {
+
+     vm.warp(block.timestamp + 562841);
+
+     vm.roll(block.number + 1);
+
+     governance_depositLQTY_2(2);
+
+     vm.warp(block.timestamp + 243877);
+
+     vm.roll(block.number + 1);
+
+     governance_allocateLQTY_clamped_single_initiative_2nd_user(0,1,0);
+
+     vm.warp(block.timestamp + 403427);
+
+     vm.roll(block.number + 1);
+
+    // SHIFTS the week
+    // Doesn't check latest alloc for each user
+    // Property is broken due to wrong spec
+    // For each user you need to grab the latest via the Governance.allocatedByUser
+     property_resetting_never_reverts();
+
+     property_BI07();
+
+ }
 }