Fix array lengths

aviggiano · Sep 24, 2024 · fdf0920 · fdf0920
1 parent be55f1a
commit fdf0920
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/ERC20.t.sol b/test/ERC20.t.sol
@@ -8,7 +8,7 @@ import {ERC20OpenZeppelin} from "@src/ERC20OpenZeppelin.sol";
 import {ERC20Solady} from "@src/ERC20Solady.sol";
 import {ERC20Solmate} from "@src/ERC20Solmate.sol";
 
-/// @custom:halmos --storage-layout=generic --loop 256 --array-lengths senders=6 --array-lengths calls=6 --array-lengths staticcalls=3
+/// @custom:halmos --storage-layout=generic --array-lengths senders=3 --array-lengths calls=3 --array-lengths staticcalls=3
 contract ERC20Test is Test, SymTest {
     ERC20OpenZeppelin public openzeppelin;
     ERC20Solady public solady;