eth2.0-specs/specs/test_formats/sanity/slots.md

Sanity slots testing

Sanity tests to cover a series of one or more empty-slot transitions being processed, aiming to cover common changes.

Test case format

description: string    -- description of test case, purely for debugging purposes
bls_setting: int       -- see general test-format spec.
pre: BeaconState       -- state before running through the transitions.
slots: N               -- amount of slots to process, N being a positive numer.
post: BeaconState      -- state after applying all the transitions.

The transition with pure time, no blocks, is known as state_transition_to(state, slot) in the spec. This runs state-caching (pure slot transition) and epoch processing (every E slots).

To process the data, call state_transition_to(pre, pre.slot + N). And see if pre mutated into the equivalent of post.

Condition

The resulting state should match the expected post state.