Skip to main content

DEFAULT_BUDGET_S

Constant DEFAULT_BUDGET_S 

Source
pub const DEFAULT_BUDGET_S: f64 = 300.0;
Expand description

The time budget of a run in JSON mode when --max-seconds is not given (s).