status-im
/
eth2.0-specs
mirror of https://github.com/status-im/eth2.0-specs.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Verify all shard states

This commit is contained in:
Hsiao-Wei Wang 2020-06-19 22:42:18 +08:00
parent 37d1a0750d
commit a9f8411a51
No known key found for this signature in database
GPG Key ID: 95B070122902DEA4
1 changed files with 14 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
tests/core/pyspec/eth2spec/test/phase1/block_processing/test_process_shard_transition.py
View File

@ -67,20 +67,23 @@ def run_successful_crosslink_tests(spec, state, target_len_offset_slot, valid=Tr
_, winning_roots = spec.get_shard_winning_roots(state, attestations) _, winning_roots = spec.get_shard_winning_roots(state, attestations)
assert len(winning_roots) == 1 assert len(winning_roots) == 1
assert winning_roots[0] == shard_transitions[shard].hash_tree_root() shard_transition = shard_transitions[shard]
assert winning_roots[0] == shard_transition.hash_tree_root()
pre_gasprice = state.shard_states[shard].gasprice pre_gasprice = state.shard_states[shard].gasprice
pre_shard_state = state.shard_states[shard] pre_shard_states = state.shard_states.copy()
yield from run_shard_transitions_processing(spec, state, shard_transitions, attestations, valid=valid) yield from run_shard_transitions_processing(spec, state, shard_transitions, attestations, valid=valid)
if valid: if valid:
shard_state = state.shard_states[shard] for index, shard_state in enumerate(state.shard_states):
shard_transition = shard_transitions[shard] if index == shard:
assert shard_state != pre_shard_state assert shard_state != pre_shard_states[index]
assert shard_state == shard_transition.shard_states[len(shard_transition.shard_states) - 1] assert shard_state == shard_transition.shard_states[len(shard_transition.shard_states) - 1]
assert shard_state.latest_block_root == shard_block.message.hash_tree_root() assert shard_state.latest_block_root == shard_block.message.hash_tree_root()
if target_len_offset_slot == 1: if target_len_offset_slot == 1:
assert shard_state.gasprice > pre_gasprice assert shard_state.gasprice > pre_gasprice
else:
assert shard_state == pre_shard_states[index]
for pending_attestation in state.current_epoch_attestations: for pending_attestation in state.current_epoch_attestations:
assert bool(pending_attestation.crosslink_success) is True assert bool(pending_attestation.crosslink_success) is True
@ -144,10 +147,10 @@ def test_no_winning_root(spec, state):
# No winning root, shard_transitions[shard] is empty # No winning root, shard_transitions[shard] is empty
shard_transitions = [spec.ShardTransition()] * spec.MAX_SHARDS shard_transitions = [spec.ShardTransition()] * spec.MAX_SHARDS
pre_shard_state = state.shard_states[shard] pre_shard_states = state.shard_states.copy()
yield from run_shard_transitions_processing(spec, state, shard_transitions, [attestation]) yield from run_shard_transitions_processing(spec, state, shard_transitions, [attestation])
for pending_attestation in state.current_epoch_attestations: for pending_attestation in state.current_epoch_attestations:
assert bool(pending_attestation.crosslink_success) is False assert bool(pending_attestation.crosslink_success) is False
assert state.shard_states[shard] == pre_shard_state assert state.shard_states == pre_shard_states