Skip to main content

REPLAY_STAGES

logicaffeine_kernel::interface::lean::receipt

Constant REPLAY_STAGES 

Source 
pub const REPLAY_STAGES: [&str; 6];
Expand description

The stages a replay establishes from a package’s bytes alone. lean_accepted is not among them: a replay never runs Lean, and says so rather than inheriting the producing run’s word.