feat: fully shrunken sequence

liquity · Nov 4, 2024 · de65c89 · de65c89
1 parent dd6edc6
commit de65c89
Showing 1 changed file with 8 additions and 86 deletions.
diff --git a/test/recon/CryticToFoundry.sol b/test/recon/CryticToFoundry.sol
@@ -58,108 +58,30 @@ contract CryticToFoundry is Test, TargetFunctions, FoundryAsserts {
 
  }
 
-    // forge test --match-test test_optimize_property_sum_of_initatives_matches_total_votes_insolvency_0 -vv 
+// forge test --match-test test_optimize_property_sum_of_initatives_matches_total_votes_insolvency_0 -vv 
  function test_optimize_property_sum_of_initatives_matches_total_votes_insolvency_0() public {
 
-     vm.roll(block.number + 558);
-     vm.warp(block.timestamp + 579337);
-     property_viewCalculateVotingThreshold();
+     vm.warp(block.timestamp + 574062);
 
-     governance_depositLQTY_2(135265381313312372076874678);
+     vm.roll(block.number + 280);
 
-     property_BI08();
-
-     clamped_claimBribes(0);
-
-     property_BI08();
+     governance_depositLQTY_2(106439091954186822399173735);
 
      vm.roll(block.number + 748);
      vm.warp(block.timestamp + 75040);
-     governance_depositLQTY(20527889417283919054188006);
-
-     property_sum_of_lqty_initiative_user_matches();
-
-     check_claim_soundness();
-
-     vm.roll(block.number + 5004);
-     vm.warp(block.timestamp + 4684);
-     governance_allocateLQTY_clamped_single_initiative(34,2,0);
-
-     property_shouldNeverRevertgetInitiativeState(9);
-
-     governance_claimForInitiativeFuzzTest(22);
-
-     property_GV_09();
-
-     vm.warp(block.timestamp + 574528);
-
-     vm.roll(block.number + 4003);
-
-     governance_claimFromStakingV1(43);
-
-     vm.roll(block.number + 2524);
-     vm.warp(block.timestamp + 275505);
-     check_realized_claiming_solvency();
-
-     check_skip_consistecy(103);
-
-     property_sum_of_lqty_global_user_matches();
-
-     property_GV_09();
-
-     vm.roll(block.number + 4901);
-     vm.warp(block.timestamp + 326329);
-     property_shouldGetTotalVotesAndState();
-
-     property_shouldNeverRevertgetLatestVotingThreshold();
-
-     property_shouldNeverRevertgetInitiativeState_arbitrary(0x0000000000000000000000000000000000000000);
+     governance_depositLQTY(2116436955066717227177);
 
-     governance_claimForInitiative(32);
-
-     clamped_claimBribes(3);
-
-     property_sum_of_user_voting_weights_strict();
-
-     governance_depositLQTY_2(1979816885405880);
-
-     property_shouldNeverRevertsecondsWithinEpoch();
-
-     governance_claimForInitiative(30);
-
-     property_shouldNeverRevertsecondsWithinEpoch();
+     governance_allocateLQTY_clamped_single_initiative(1,1,0);
 
      helper_deployInitiative();
 
-     vm.warp(block.timestamp + 288562);
-
-     vm.roll(block.number + 125);
-
-     vm.roll(block.number + 6666);
-     vm.warp(block.timestamp + 472846);
-     clamped_claimBribes(8);
-
-     property_sum_of_user_voting_weights_strict();
-
-     property_sum_of_user_initiative_allocations();
-
-     governance_registerInitiative(53);
+     governance_registerInitiative(1);
 
      vm.warp(block.timestamp + 566552);
 
      vm.roll(block.number + 23889);
 
-     helper_deployInitiative();
-
-     property_initiative_ts_matches_user_when_non_zero();
-
-     vm.roll(block.number + 163);
-     vm.warp(block.timestamp + 33458);
-     property_global_ts_is_always_greater_than_start();
-
-     property_BI02();
-
-     governance_allocateLQTY_clamped_single_initiative_2nd_user(196,20348901936480488809445467738,0);
+     governance_allocateLQTY_clamped_single_initiative_2nd_user(31,1314104679369829143691540410,0);
     (, , uint256 votedPowerSum, uint256 govPower) = _getInitiativeStateAndGlobalState();
     console.log("votedPowerSum", votedPowerSum);
     console.log("govPower", govPower);