Function budget 

pub fn budget(max_seconds: Option<f64>, json: bool) -> Option<f64>

The budget of a run (s): --max-seconds (0 for none), DEFAULT_BUDGET_S in JSON mode, none otherwise.