From cd5a5d332fd8bcfad7c5e9bcf66fff91b819b9a1 Mon Sep 17 00:00:00 2001 From: Anton Kaliaev Date: Fri, 1 Dec 2017 23:30:08 -0600 Subject: [PATCH] remove comments for uint64 related to possible underflow [ci skip] --- consensus/replay.go | 1 - consensus/state.go | 1 - 2 files changed, 2 deletions(-) diff --git a/consensus/replay.go b/consensus/replay.go index 152c9c00..4868656e 100644 --- a/consensus/replay.go +++ b/consensus/replay.go @@ -90,7 +90,6 @@ func (cs *ConsensusState) readReplayMessage(msg *TimedWALMessage, newStepCh chan // replay only those messages since the last block. // timeoutRoutine should run concurrently to read off tickChan -// CONTRACT: csHeight > 0 func (cs *ConsensusState) catchupReplay(csHeight int64) error { // set replayMode cs.replayMode = true diff --git a/consensus/state.go b/consensus/state.go index 1e85a6cc..eedc30bc 100644 --- a/consensus/state.go +++ b/consensus/state.go @@ -697,7 +697,6 @@ func (cs *ConsensusState) enterNewRound(height int64, round int) { // needProofBlock returns true on the first height (so the genesis app hash is signed right away) // and where the last block (height-1) caused the app hash to change -// CONTRACT: height > 0 func (cs *ConsensusState) needProofBlock(height int64) bool { if height == 1 { return true