Merge pull request #75 from liquity/main

Invariant Testing CI / CD
liquity · Nov 19, 2024 · 132e41f · 132e41f
2 parents 37f414d + 9632de9
commit 132e41f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/test/recon/CryticToFoundry.sol b/test/recon/CryticToFoundry.sol
@@ -16,6 +16,7 @@ contract CryticToFoundry is Test, TargetFunctions, FoundryAsserts {
     }
 
     // forge test --match-test test_optimize_property_sum_of_initatives_matches_total_votes_insolvency_0 -vv
+    // Example broken property due to rounding errors
     function test_optimize_property_sum_of_initatives_matches_total_votes_insolvency_0() public {
         vm.warp(block.timestamp + 574062);