assert relationship between constants necessary to avoid underflow

2019-02-25 06:53:01 -08:00 · 2019-02-25 06:53:01 -08:00 · 60e6a9fedc
parent eda43b5b1c
commit 60e6a9fedc
1 changed files with 2 additions and 0 deletions
--- a/beacon_chain/spec/beaconstate.nim
+++ b/beacon_chain/spec/beaconstate.nim
@ -359,6 +359,8 @@ proc checkAttestation*(
  ## be followed!

  # Can't underflow, because GENESIS_SLOT > MIN_ATTESTATION_INCLUSION_DELAY
+  doAssert GENESIS_SLOT > MIN_ATTESTATION_INCLUSION_DELAY
+
  if not (attestation.data.slot <= state.slot - MIN_ATTESTATION_INCLUSION_DELAY):
    warn("Attestation too new",
      attestation_slot = attestation.data.slot, state_slot = state.slot)