Struct SeqOptions 

pub struct SeqOptions {
    pub sim_cycles: usize,
    pub sim_words: usize,
    pub seed: u64,
    pub bmc_depth: usize,
    pub budget: u64,
}

How always_equal searches.

Fields

sim_cycles: usize

Clocks simulated from reset to draw the register classes from.

sim_words: usize

Words of 64 parallel input streams the simulation runs.

seed: u64

bmc_depth: usize

The deepest difference from reset bounded model checking looks for.

budget: u64

Conflicts a query may spend; 0 is unlimited.

Trait Implementations

impl Clone for SeqOptions

fn clone(&self) -> SeqOptions

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SeqOptions

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

Formats the value using the given formatter.

impl Default for SeqOptions

fn default() -> SeqOptions

Returns the “default value” for a type.