Skip to content

Add gloas state transition comptests generator - #5573

Draft
ericsson49 wants to merge 63 commits into
ethereum:masterfrom
ericsson49:comptests/state-transition-testgen
Draft

Add gloas state transition comptests generator#5573
ericsson49 wants to merge 63 commits into
ethereum:masterfrom
ericsson49:comptests/state-transition-testgen

Conversation

@ericsson49

Copy link
Copy Markdown
Contributor

This PR introduces a compliance test generator for state transition functionality. Tests are generated using a model-based approach (randomized instantiations will be added in near future).
Currently, it targets the gloas fork with the minimal preset. Support of more forks is planned in future.

It produces tests in operations or epoch processing test formats. Other test formats are planned in future too (e.g. sanity).

State transition comptests can be generated using the same command as the fork choice comptests:

> make comptests kind=state_transition comptests_dir=<dir>

Operation handlers:

  • attestation
  • builder_deposit_request
  • builder_exit_request
  • consolidation_request
  • deposit_request
  • execution_payload_bid
  • parent_execution_payload
  • payload_attestation
  • proposer_slashing
  • withdrawal_request
  • withdrawals

Epoch-processing handlers:

  • builder_pending_payments
  • pending_deposits
  • ptc_window

To do list

  • Add randomization to the state transition comptests generator
  • Improve models
  • Improve coverage

@github-actions github-actions Bot added the testing CI, actions, tests, testing infra label Aug 27, 2026
@ericsson49
ericsson49 force-pushed the comptests/state-transition-testgen branch from 5d53a44 to e38ed84 Compare August 27, 2026 15:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

testing CI, actions, tests, testing infra

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant