Trait HasExecutions 

pub trait HasExecutions {
    // Required methods
    fn executions(&self) -> &u64;
    fn executions_mut(&mut self) -> &mut u64;
}

Trait for the execution counter

Required Methods

fn executions(&self) -> &u64

The executions counter

fn executions_mut(&mut self) -> &mut u64

The executions counter (mutable)

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<C, I, R, SC> HasExecutions for StdState<C, I, R, SC>

impl<I> HasExecutions for NopState<I>