Skip to content

Commit

Permalink
Add docs
Browse files Browse the repository at this point in the history
  • Loading branch information
moshababo committed Dec 6, 2023
1 parent 8bdfdba commit 63782b8
Showing 1 changed file with 9 additions and 0 deletions.
9 changes: 9 additions & 0 deletions node/actors/bft/src/testonly/ut_harness.rs
Original file line number Diff line number Diff line change
Expand Up @@ -81,6 +81,15 @@ impl UTHarness {
.unwrap();
}

/// Validate protocol liveness in the aftermath of a timeout.
///
/// Params refer to the expected values in the next produced `ReplicaPrepare`
/// messages for the new iteration.
///
/// * `view` - the expected view of the next `ReplicaPrepare`.
/// * `high_vote_view` - the expected view of the high vote of the next `ReplicaPrepare`.
/// * `high_qc_view` - the expected view of the high qc of the next `ReplicaPrepare`.
///
pub(crate) async fn check_recovery_after_timeout(
&mut self,
view: ViewNumber,
Expand Down

0 comments on commit 63782b8

Please sign in to comment.