ethereum · marioevz · May 14, 2025 · Mar 18, 2025 · Mar 18, 2025 · Mar 18, 2025
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
@@ -14,3 +14,4 @@
 - [ ] Tests: A PR with removal of converted JSON/YML tests from [ethereum/tests](/ethereum/tests) have been opened.
 - [ ] Tests: Included the type and version of evm t8n tool used to locally execute test cases:  e.g., ref with commit hash or geth 1.13.1-stable-3f40e65.
 - [ ] Tests: Ran `mkdocs serve` locally and verified the auto-generated docs for new tests in the [Test Case Reference](https://eest.ethereum.org/main/tests/) are correctly formatted.
+- [ ] Tests: For PRs implementing a missed test case, update the [post-mortem document](/ethereum/execution-spec-tests/blob/main/docs/writing_tests/post_mortems.md) to add an entry the list.
diff --git a/docs/CHANGELOG.md b/docs/CHANGELOG.md
@@ -19,6 +19,9 @@ Test fixtures for use by clients are available for each release on the [Github r
 
 ### 📋 Misc
 
+- ✨ Added the [EIP checklist template](https://eest.ethereum.org/main/writing_tests/checklist_templates/eip_testing_checklist_template/) that serves as a reference to achieve better coverage when implementing tests for new EIPs ([#1327](https://github.com/ethereum/execution-spec-tests/pull/1327)).
+- ✨ Added [Post-Mortems of Missed Test Scenarios](https://eest.ethereum.org/main/writing_tests/post_mortems/) to the documentation that serves as a reference list of all cases that were missed during the test implementation phase of a new EIP, and includes the steps taken in order to prevent similar test cases to be missed in the future ([#1327](https://github.com/ethereum/execution-spec-tests/pull/1327)).
+
 ### 🧪 Test Cases
 
 ## [v4.5.0](https://github.com/ethereum/execution-spec-tests/releases/tag/v4.5.0) - 2025-05-14

diff --git a/docs/navigation.md b/docs/navigation.md
@@ -1,57 +1,60 @@
 <!-- markdownlint-disable MD007 MD041 (MD007=ul-indent MD041=first-line-heading) -->
   * [Home](index.md)
   * Getting Started
-    * [Installation](getting_started/installation.md)
-    * [Installation Troubleshooting](getting_started/installation_troubleshooting.md)
-    * [VS Code Setup](getting_started/setup_vs_code.md)
-    * [Repository Overview](getting_started/repository_overview.md)
-    * [Getting Help](getting_started/getting_help.md)
+      * [Installation](getting_started/installation.md)
+      * [Installation Troubleshooting](getting_started/installation_troubleshooting.md)
+      * [VS Code Setup](getting_started/setup_vs_code.md)
+      * [Repository Overview](getting_started/repository_overview.md)
+      * [Getting Help](getting_started/getting_help.md)
   * [Writing Tests](writing_tests/index.md)
-    * [Adding a New Test](writing_tests/adding_a_new_test.md)
-    * [Types of Test](writing_tests/types_of_tests.md)
-    * [Writing a New Test](writing_tests/writing_a_new_test.md)
-    * [Test Markers](writing_tests/test_markers.md)
-    * [Referencing an EIP Spec Version](writing_tests/reference_specification.md)
-    * [Verifying Changes Locally](writing_tests/verifying_changes.md)
-    * [Code Standards](writing_tests/code_standards.md)
-    * [Exception Tests](writing_tests/exception_tests.md)
-    * [Tutorial: Adding a State Test](writing_tests/tutorials/state_transition.md)
+      * [Adding a New Test](writing_tests/adding_a_new_test.md)
+      * [Types of Test](writing_tests/types_of_tests.md)
+      * [Writing a New Test](writing_tests/writing_a_new_test.md)
+      * [Test Markers](writing_tests/test_markers.md)
+      * [Verifying Changes Locally](writing_tests/verifying_changes.md)
+      * [Code Standards](writing_tests/code_standards.md)
+      * [Exception Tests](writing_tests/exception_tests.md)
+      * [Referencing an EIP Spec Version](writing_tests/reference_specification.md)
+      * [Testing Checklist Templates](writing_tests/checklist_templates/index.md)
+          * [EIP Execution Layer Testing Checklist Template](writing_tests/checklist_templates/eip_testing_checklist_template.md)
+      * [Post-mortems](writing_tests/post_mortems.md)
+      * [Tutorial: Adding a State Test](writing_tests/tutorials/state_transition.md)
   * [Filling Tests](filling_tests/index.md)
-    * [Getting Started](filling_tests/getting_started.md)
-    * [Filling Tests at a Prompt](filling_tests/filling_tests_command_line.md)
-    * [Filling Tests in VS Code](filling_tests/filling_tests_vs_code.md)
-    * [Filling Tests for Features Under Development](filling_tests/filling_tests_dev_fork.md)
-    * [Transition Tool Support](filling_tests/transition_tool_support.md)
-    * [Debugging Transition Tools](filling_tests/debugging_t8n_tools.md)
+      * [Getting Started](filling_tests/getting_started.md)
+      * [Filling Tests at a Prompt](filling_tests/filling_tests_command_line.md)
+      * [Filling Tests in VS Code](filling_tests/filling_tests_vs_code.md)
+      * [Filling Tests for Features Under Development](filling_tests/filling_tests_dev_fork.md)
+      * [Transition Tool Support](filling_tests/transition_tool_support.md)
+      * [Debugging Transition Tools](filling_tests/debugging_t8n_tools.md)
   * [Consuming Tests](consuming_tests/index.md)
-    * [State Tests](consuming_tests/state_test.md)
-    * [Blockchain Tests](consuming_tests/blockchain_test.md)
-    * [Blockchain Engine Tests](consuming_tests/blockchain_test_engine.md)
-    * [EOF Tests](consuming_tests/eof_test.md)
-    * [Transaction Tests](consuming_tests/transaction_test.md)
-    * [Common Types](consuming_tests/common_types.md)
-    * [Exceptions](consuming_tests/exceptions.md)
+      * [State Tests](consuming_tests/state_test.md)
+      * [Blockchain Tests](consuming_tests/blockchain_test.md)
+      * [Blockchain Engine Tests](consuming_tests/blockchain_test_engine.md)
+      * [EOF Tests](consuming_tests/eof_test.md)
+      * [Transaction Tests](consuming_tests/transaction_test.md)
+      * [Common Types](consuming_tests/common_types.md)
+      * [Exceptions](consuming_tests/exceptions.md)
   * [Executing Tests](executing_tests/index.md)
   * [Developer Doc](dev/index.md)
-    * [Managing Configurations](dev/configurations.md)
-    * [Interactive Library Usage](dev/interactive_usage.md)
-    * [Generating Documentation](dev/docs.md)
-    * [Documenting CLI Commands](dev/documenting_clis.md)
-    * [Coding Style](dev/coding_style.md)
-    * [Logging](dev/logging.md)
-    * [Enabling Precommit Checks](dev/precommit.md)
-    * [Running Github Actions Locally](dev/test_actions_locally.md)
-    * [Porting Legacy Tests](dev/porting_legacy_tests.md)
+      * [Managing Configurations](dev/configurations.md)
+      * [Interactive Library Usage](dev/interactive_usage.md)
+      * [Generating Documentation](dev/docs.md)
+      * [Documenting CLI Commands](dev/documenting_clis.md)
+      * [Coding Style](dev/coding_style.md)
+      * [Logging](dev/logging.md)
+      * [Enabling Precommit Checks](dev/precommit.md)
+      * [Running Github Actions Locally](dev/test_actions_locally.md)
+      * [Porting Legacy Tests](dev/porting_legacy_tests.md)
   * [Changelog](CHANGELOG.md)
   * [Library Reference](library/index.md)
-    * [EEST CLI Tools](library/cli/index.md)
-    * [Ethereum Test Base Types Package](library/ethereum_test_base_types.md)
-    * [Ethereum Test Exceptions Package](library/ethereum_test_exceptions.md)
-    * [Ethereum Test Fixtures Package](library/ethereum_test_fixtures.md)
-    * [Ethereum Test Forks Package](library/ethereum_test_forks.md)
-    * [Ethereum Test Specs Package](library/ethereum_test_specs.md)
-    * [Ethereum Test Tools Package](library/ethereum_test_tools.md)
-    * [Ethereum Test Types Package](library/ethereum_test_types.md)
-    * [Ethereum Test VM Package](library/ethereum_test_vm.md)
-    * [Ethereum CLIs Package](library/ethereum_clis.md)
-    * [Pytest Plugins](library/pytest_plugins/index.md)
+      * [EEST CLI Tools](library/cli/index.md)
+      * [Ethereum Test Base Types Package](library/ethereum_test_base_types.md)
+      * [Ethereum Test Exceptions Package](library/ethereum_test_exceptions.md)
+      * [Ethereum Test Fixtures Package](library/ethereum_test_fixtures.md)
+      * [Ethereum Test Forks Package](library/ethereum_test_forks.md)
+      * [Ethereum Test Specs Package](library/ethereum_test_specs.md)
+      * [Ethereum Test Tools Package](library/ethereum_test_tools.md)
+      * [Ethereum Test Types Package](library/ethereum_test_types.md)
+      * [Ethereum Test VM Package](library/ethereum_test_vm.md)
+      * [Ethereum CLIs Package](library/ethereum_clis.md)
+      * [Pytest Plugins](library/pytest_plugins/index.md)