Struct VerificationLoop 

pub struct VerificationLoop { /* private fields */ }

Verification-iteration loop runner.

Implementations

impl VerificationLoop

pub fn new(max_iterations: usize) -> Self

Create a new verification loop.

pub fn max_iterations(&self) -> usize

Get max iterations.

pub fn is_success(&self, result: &VerificationResult) -> bool

Check if a result indicates success.

pub fn format_feedback(&self, result: &VerificationResult) -> String

Format errors for feedback.

Trait Implementations

impl Debug for VerificationLoop

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for VerificationLoop

fn default() -> Self

Returns the “default value” for a type.