remove last ref to casper

This commit is contained in:
Danny Ryan 2019-01-28 21:25:59 -07:00
parent 7da716b0e9
commit cbb1571a90
No known key found for this signature in database
GPG Key ID: 2765A792E42CE07A
1 changed files with 2 additions and 2 deletions

View File

@ -1599,8 +1599,8 @@ Verify that `len(block.body.attester_slashings) <= MAX_ATTESTER_SLASHINGS`.
For each `attester_slashing` in `block.body.attester_slashings`: For each `attester_slashing` in `block.body.attester_slashings`:
* Let `slashable_vote_1 = casper_slashing.slashable_vote_1`. * Let `slashable_vote_1 = attester_slashing.slashable_vote_1`.
* Let `slashable_vote_2 = casper_slashing.slashable_vote_2`. * Let `slashable_vote_2 = attester_slashing.slashable_vote_2`.
* Let `intersection = [x for x in slashable_vote_1.validator_indices if x in slashable_vote_2.validator_indices]`. * Let `intersection = [x for x in slashable_vote_1.validator_indices if x in slashable_vote_2.validator_indices]`.
* Verify that `len(intersection) >= 1`. * Verify that `len(intersection) >= 1`.
* Verify that `slashable_vote_1.data != slashable_vote_2.data`. * Verify that `slashable_vote_1.data != slashable_vote_2.data`.