Support foundry v1.0 (#5511)

Amxx · web-flow · commit 9586aaf35241 · 2025-02-15T20:54:49.000+01:00
diff --git a/lib/erc4626-tests b/lib/erc4626-tests
@@ -1 +1 @@
-Subproject commit 8b1d7c2ac248c33c3506b1bff8321758943c5e11
+Subproject commit 232ff9ba8194e406967f52ecc5cb52ed764209e9
diff --git a/lib/forge-std b/lib/forge-std
@@ -1 +1 @@
-Subproject commit 1eea5bae12ae557d589f9f0f0edae2faa47cb262
+Subproject commit 3b20d60d14b343ee4f908cb8079495c07f5e8981
diff --git a/lib/halmos-cheatcodes b/lib/halmos-cheatcodes
@@ -1 +1 @@
-Subproject commit c0d865508c0fee0a11b97732c5e90f9cad6b65a5
+Subproject commit 7328abe100445fc53885c21d0e713b95293cf14c
diff --git a/test/utils/math/Math.t.sol b/test/utils/math/Math.t.sol
@@ -204,6 +204,7 @@ contract MathTest is Test {
         assertEq(xyLo, qdRemLo);
     }
 
+    /// forge-config: default.allow_internal_expect_revert = true
     function testMulDivDomain(uint256 x, uint256 y, uint256 d) public {
         (uint256 xyHi, ) = _mulHighLow(x, y);
 
@@ -216,6 +217,7 @@ contract MathTest is Test {
     }
 
     // MOD EXP
+    /// forge-config: default.allow_internal_expect_revert = true
     function testModExp(uint256 b, uint256 e, uint256 m) public {
         if (m == 0) {
             vm.expectRevert(stdError.divisionError);
@@ -236,6 +238,7 @@ contract MathTest is Test {
         }
     }
 
+    /// forge-config: default.allow_internal_expect_revert = true
     function testModExpMemory(uint256 b, uint256 e, uint256 m) public {
         if (m == 0) {
             vm.expectRevert(stdError.divisionError);

Original file line number	Diff line number	Diff line change
`@@ -204,6 +204,7 @@ contract MathTest is Test {`
`204`	`204`	`assertEq(xyLo, qdRemLo);`
`205`	`205`	`}`
`206`	`206`
	`207`	`+ /// forge-config: default.allow_internal_expect_revert = true`
`207`	`208`	`function testMulDivDomain(uint256 x, uint256 y, uint256 d) public {`
`208`	`209`	`(uint256 xyHi, ) = _mulHighLow(x, y);`
`209`	`210`
`@@ -216,6 +217,7 @@ contract MathTest is Test {`
`216`	`217`	`}`
`217`	`218`
`218`	`219`	`// MOD EXP`
	`220`	`+ /// forge-config: default.allow_internal_expect_revert = true`
`219`	`221`	`function testModExp(uint256 b, uint256 e, uint256 m) public {`
`220`	`222`	`if (m == 0) {`
`221`	`223`	`vm.expectRevert(stdError.divisionError);`
`@@ -236,6 +238,7 @@ contract MathTest is Test {`
`236`	`238`	`}`
`237`	`239`	`}`
`238`	`240`
	`241`	`+ /// forge-config: default.allow_internal_expect_revert = true`
`239`	`242`	`function testModExpMemory(uint256 b, uint256 e, uint256 m) public {`
`240`	`243`	`if (m == 0) {`
`241`	`244`	`vm.expectRevert(stdError.divisionError);`