Skip to main content

WARM_RUNG_FACTOR

Constant WARM_RUNG_FACTOR 

Source
pub const WARM_RUNG_FACTOR: usize = 10;
Expand description

The budget of a warm-started continuation rung, as a multiple of what the previous rung took (warm_rung_budget).