fix(fw): EOF: exceptions

ethereum · May 27, 2024 · 4df25f3 · 4df25f3
1 parent 57617bd
commit 4df25f3
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/src/ethereum_test_tools/exceptions/evmone_exceptions.py b/src/ethereum_test_tools/exceptions/evmone_exceptions.py
@@ -48,7 +48,11 @@ class EvmoneExceptionMapper:
         ExceptionMessage(EOFException.INCOMPLETE_SECTION_NUMBER, "err: incomplete_section_number"),
         ExceptionMessage(EOFException.TOO_MANY_CODE_SECTIONS, "err: too_many_code_sections"),
         ExceptionMessage(EOFException.ZERO_SECTION_SIZE, "err: zero_section_size"),
+        ExceptionMessage(EOFException.MISSING_DATA_SECTION, "err: data_section_missing"),
         ExceptionMessage(EOFException.UNDEFINED_INSTRUCTION, "err: undefined_instruction"),
+        ExceptionMessage(
+            EOFException.INPUTS_OUTPUTS_NUM_ABOVE_LIMIT, "err: inputs_outputs_num_above_limit"
+        ),
         ExceptionMessage(EOFException.UNREACHABLE_INSTRUCTIONS, "err: unreachable_instructions"),
         ExceptionMessage(EOFException.INVALID_RJUMP_DESTINATION, "err: invalid_rjump_destination"),
         ExceptionMessage(EOFException.UNREACHABLE_CODE_SECTIONS, "err: unreachable_code_sections"),

diff --git a/src/ethereum_test_tools/exceptions/exceptions.py b/src/ethereum_test_tools/exceptions/exceptions.py
@@ -259,6 +259,10 @@ class EOFException(ExceptionBase):
     """
     EOF container data header construction is wrong
     """
+    MISSING_DATA_SECTION = auto()
+    """
+    EOF container missing data section
+    """
     INCOMPLETE_CONTAINER = auto()
     """
     EOF container bytes are incomplete
@@ -299,6 +303,10 @@ class EOFException(ExceptionBase):
     """
     EOF container's code missing STOP bytecode at it's end
     """
+    INPUTS_OUTPUTS_NUM_ABOVE_LIMIT = auto()
+    """
+    EOF container code section inputs/outputs number is above the limit
+    """
     UNREACHABLE_INSTRUCTIONS = auto()
     """
     EOF container's code have instructions that are unreachable