fix(tests): Adjust to container size limit

Author: pdobacz

tests/prague/eip7692_eof_v1/eip3540_eof_v1/test_container_size.py

@@ -30,12 +30,12 @@ def test_max_size(
     """
     Verify EOF container valid at maximum size, invalid above
     """
-    minimal_code = bytearray(bytes(VALID_CONTAINER))
     # Expand the minimal EOF code by more noop code, reaching the desired target container size.
     code = Container(
         sections=[
             Section.Code(
-                code=Op.JUMPDEST * (MAX_INITCODE_SIZE - len(minimal_code) + over_limit) + Op.STOP
+                code=Op.JUMPDEST * (MAX_INITCODE_SIZE - len(VALID_CONTAINER) + over_limit)
+                + Op.STOP
             )
         ]
     )

tests/prague/eip7692_eof_v1/eip7480_data_section/test_code_validation.py

@@ -17,6 +17,13 @@
 
 pytestmark = pytest.mark.valid_from(EOF_FORK_NAME)
 
+smallest_runtime_subcontainer = Container(
+    name="Runtime Subcontainer",
+    sections=[
+        Section.Code(code=Op.STOP),
+    ],
+)
+
 VALID: List[Container] = [
     Container(
         name="empty_data_section",
@@ -51,11 +58,9 @@
     Container(
         name="max_data_section",
         sections=[
-            Section.Code(
-                code=Op.ADDRESS + Op.POP + Op.STOP,
-                max_stack_height=1,
-            ),
-            Section.Data(data=("1122334455667788" * 8 * 1024)[2:]),
+            Section.Code(code=Op.STOP),
+            # Hits the 49152 bytes limit for the entire container
+            Section.Data(data=(b"12345678" * 6 * 1024)[len(smallest_runtime_subcontainer) :]),
         ],
     ),
     Container(
@@ -88,16 +93,6 @@
             Section.Data(data="1122334455667788" * 16),
         ],
     ),
-    Container(
-        name="DATALOADN_max",
-        sections=[
-            Section.Code(
-                code=Op.DATALOADN[0xFFFF - 32] + Op.POP + Op.STOP,
-                max_stack_height=1,
-            ),
-            Section.Data(data=("1122334455667788" * 8 * 1024)[2:]),
-        ],
-    ),
 ]
 
 INVALID: List[Container] = [
@@ -133,6 +128,15 @@
         ],
         validity_error=EOFException.INVALID_DATALOADN_INDEX,
     ),
+    Container(
+        name="data_section_over_container_limit",
+        sections=[
+            Section.Code(code=Op.STOP),
+            # Over the 49152 bytes limit for the entire container
+            Section.Data(data=(b"12345678" * 6 * 1024)[len(smallest_runtime_subcontainer) - 1 :]),
+        ],
+        validity_error=EOFException.CONTAINER_SIZE_ABOVE_LIMIT,
+    ),
 ]
 
 

tests/prague/eip7692_eof_v1/eip7620_eof_create/test_eofcreate_failures.py

@@ -153,7 +153,7 @@ def test_initcode_aborts(
 Size of the factory portion of test_eofcreate_deploy_sizes, but as the runtime code is dynamic, we
 have to use a pre-calculated size
 """
-factory_size = 30
+factory_size = 74
 
 
 @pytest.mark.parametrize(
@@ -206,27 +206,27 @@ def test_eofcreate_deploy_sizes(
         ],
     )
 
+    factory_container = Container(
+        sections=[
+            Section.Code(
+                code=Op.SSTORE(slot_create_address, Op.EOFCREATE[0](0, 0, 0, 0))
+                + Op.SSTORE(slot_code_worked, value_code_worked)
+                + Op.STOP,
+                max_stack_height=4,
+            ),
+            Section.Container(container=initcode_subcontainer),
+        ]
+    )
+
     assert factory_size == (
-        len(initcode_subcontainer) - len(runtime_container)
+        len(factory_container) - len(runtime_container)
     ), "factory_size is wrong, expected factory_size is %d, calculated is %d" % (
         factory_size,
-        len(initcode_subcontainer),
+        len(factory_container),
     )
 
     sender = pre.fund_eoa()
-    contract_address = pre.deploy_contract(
-        code=Container(
-            sections=[
-                Section.Code(
-                    code=Op.SSTORE(slot_create_address, Op.EOFCREATE[0](0, 0, 0, 0))
-                    + Op.SSTORE(slot_code_worked, value_code_worked)
-                    + Op.STOP,
-                    max_stack_height=4,
-                ),
-                Section.Container(container=initcode_subcontainer),
-            ]
-        )
-    )
+    contract_address = pre.deploy_contract(code=factory_container)
     # Storage in 0 should have the address,
     # Storage 1 is a canary of 1 to make sure it tried to execute, which also covers cases of
     #   data+code being greater than initcode_size_max, which is allowed.