Skip to main content

JUMP_RELAXATION_MAX_ITERATIONS

Constant JUMP_RELAXATION_MAX_ITERATIONS 

Source
pub(crate) const JUMP_RELAXATION_MAX_ITERATIONS: usize = 20;
Expand description

Maximum number of iterations allowed for the jump relaxation optimization algorithm.

This limit prevents infinite loops in pathological cases where convergence fails, though typical contracts converge in a few iterations.