Finish state tests intro

specs/test_formats/operations/README.md

@@ -26,8 +26,8 @@ Operations:
 
 | *`operation-name`*      | *`operation-object`* | *`input name`*       | *`processing call`*                                    |
 |-------------------------|----------------------|----------------------|--------------------------------------------------------|
-| `attestation`           | `Attestation`        | `attestation`        | `process_deposit(state, attestation)`                  |
-| `attester_slashing`     | `AttesterSlashing`   | `attester_slashing`  | `process_deposit(state, attester_slashing)`            |
+| `attestation`           | `Attestation`        | `attestation`        | `process_attestation(state, attestation)`                  |
+| `attester_slashing`     | `AttesterSlashing`   | `attester_slashing`  | `process_attester_slashing(state, attester_slashing)`            |
 | `block_header`          | `Block`              | `block`              | `process_block_header(state, block)`                   |
 | `deposit`               | `Deposit`            | `deposit`            | `process_deposit(state, deposit)`                      |
 | `proposer_slashing`     | `ProposerSlashing`   | `proposer_slashing`  | `process_proposer_slashing(state, proposer_slashing)`  |

test_libs/pyspec/eth2spec/test/epoch_processing/test_process_crosslinks.py

@@ -104,7 +104,7 @@ def test_single_crosslink_update_from_previous_epoch(state):
 
 @spec_state_test
 def test_double_late_crosslink(state):
-    if spec.SLOTS_PER_EPOCH < spec.SHARD_COUNT:
+    if spec.get_epoch_committee_count(state, spec.get_current_epoch(state)) < spec.SHARD_COUNT:
         print("warning: ignoring test, test-assumptions are incompatible with configuration")
         return
 

test_libs/pyspec/eth2spec/test/epoch_processing/test_process_registry_updates.py

@@ -5,10 +5,34 @@
     is_active_validator,
     process_registry_updates
 )
+from eth2spec.phase0.state_transition import state_transition
+from eth2spec.test.helpers.block import build_empty_block_for_next_slot, sign_block
 from eth2spec.test.helpers.state import next_epoch
 from eth2spec.test.context import spec_state_test
 
 
+def run_process_registry_updates(state, valid=True):
+    """
+    Run ``process_crosslinks``, yielding:
+      - pre-state ('pre')
+      - post-state ('post').
+    If ``valid == False``, run expecting ``AssertionError``
+    """
+    # transition state to slot before state transition
+    slot = state.slot + (spec.SLOTS_PER_EPOCH - state.slot % spec.SLOTS_PER_EPOCH) - 1
+    block = build_empty_block_for_next_slot(state, signed=False)
+    block.slot = slot
+    sign_block(state, block)
+    state_transition(state, block)
+
+    # cache state before epoch transition
+    spec.cache_state(state)
+
+    yield 'pre', state
+    process_registry_updates(state)
+    yield 'post', state
+
+
 @spec_state_test
 def test_activation(state):
     index = 0
@@ -23,11 +47,7 @@ def test_activation(state):
     for _ in range(spec.ACTIVATION_EXIT_DELAY + 1):
         next_epoch(state)
 
-    yield 'pre', state
-
-    process_registry_updates(state)
-
-    yield 'post', state
+    yield from run_process_registry_updates(state)
 
     assert state.validator_registry[index].activation_eligibility_epoch != spec.FAR_FUTURE_EPOCH
     assert state.validator_registry[index].activation_epoch != spec.FAR_FUTURE_EPOCH
@@ -49,11 +69,7 @@ def test_ejection(state):
     for _ in range(spec.ACTIVATION_EXIT_DELAY + 1):
         next_epoch(state)
 
-    yield 'pre', state
-
-    process_registry_updates(state)
-
-    yield 'post', state
+    yield from run_process_registry_updates(state)
 
     assert state.validator_registry[index].exit_epoch != spec.FAR_FUTURE_EPOCH
     assert not is_active_validator(