Skip to main content

DEFAULT_MAX_WALL_TIME_MS

termivar_scanner::runtime_budget

Constant DEFAULT_MAX_WALL_TIME_MS 

Source 
pub const DEFAULT_MAX_WALL_TIME_MS: u64 = 120_000;
Expand description

Default wall-clock deadline in milliseconds.