50cff241fe
* Refactor Block/Header definition Refactor block/header definition so that it's now responsibility of the nomos-core crate. This removes definitions in ledger/consensus crates since there's no need at that level to have an understanding of the block format. The new header format supports both carnot and cryptarchia.
19 lines
516 B
Rust
19 lines
516 B
Rust
use std::collections::HashSet;
|
|
|
|
use crate::fuzz::{Block, NewView, TimeoutQc};
|
|
|
|
// State transtitions that will be picked randomly
|
|
#[derive(Clone, Debug)]
|
|
pub enum Transition {
|
|
Nop,
|
|
ReceiveSafeBlock(Block),
|
|
ReceiveUnsafeBlock(Block),
|
|
ApproveBlock(Block),
|
|
ApprovePastBlock(Block),
|
|
LocalTimeout,
|
|
ReceiveTimeoutQcForRecentView(TimeoutQc),
|
|
ReceiveTimeoutQcForOldView(TimeoutQc),
|
|
ApproveNewViewWithLatestTimeoutQc(TimeoutQc, HashSet<NewView>),
|
|
//TODO: add more corner transitions
|
|
}
|