Struct LoopBudget

struct LoopBudget {
    limit: usize,
    backward_jumps: usize,
    loop_calls: usize,
}

Tracks budgets for loops to limit execution time.

Fields

limit: usize

Maximum number of times we can do backward jumps or loop calls.

backward_jumps: usize

Current number of backward jumps executed.

loop_calls: usize

Current number of loop call iterations executed.

Implementations

impl LoopBudget

fn new(outlines: &Outlines<'_>, point_count: Option<usize>) -> Self

fn reset(&mut self)

fn doing_backward_jump(&mut self) -> Result<(), HintErrorKind>

fn doing_loop_call(&mut self, count: usize) -> Result<(), HintErrorKind>