From 896cb6c63afa7649796e798a0d3c144c8e5e67a8 Mon Sep 17 00:00:00 2001 From: gallo Date: Fri, 15 Nov 2024 15:15:27 +0700 Subject: [PATCH 1/2] chore: space --- test/recon/CryticToFoundry.sol | 1 + 1 file changed, 1 insertion(+) diff --git a/test/recon/CryticToFoundry.sol b/test/recon/CryticToFoundry.sol index 4e1a2d2e..5c4ea9e7 100644 --- a/test/recon/CryticToFoundry.sol +++ b/test/recon/CryticToFoundry.sol @@ -15,6 +15,7 @@ contract CryticToFoundry is Test, TargetFunctions, FoundryAsserts { setup(); } + // 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.warp(block.timestamp + 574062); From 9632de9a988522775336d9b60cdf2542efc600db Mon Sep 17 00:00:00 2001 From: gallo Date: Fri, 15 Nov 2024 15:18:10 +0700 Subject: [PATCH 2/2] chore: trigger CI/CD --- test/recon/CryticToFoundry.sol | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/recon/CryticToFoundry.sol b/test/recon/CryticToFoundry.sol index 5c4ea9e7..1660fb9c 100644 --- a/test/recon/CryticToFoundry.sol +++ b/test/recon/CryticToFoundry.sol @@ -15,8 +15,8 @@ contract CryticToFoundry is Test, TargetFunctions, FoundryAsserts { setup(); } - // 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);