Enum haybale::config::Concretize

pub enum Concretize {
    Symbolic,
    Arbitrary,
    Prefer(u64, Box<Concretize>),
    Maximum,
    Minimum,
}

Enum used for the concretize_memcpy_lengths option in Config.

Variants

Symbolic

Handle everything fully symbolically - that is, have the solver fully consider all possible values. This may lead to poor solver performance for some workloads.

Arbitrary

Pick one possible value arbitrarily. Often this may choose 0 if 0 is a possible solution, but this behavior is not guaranteed. (To guarantee this behavior, use Prefer(0).)

The value will be permanently constrained to be the chosen value (on this path), and other possibilities will not be considered.

Prefer(u64, Box<Concretize>)

Prefer the given u64 value if it is a possible value. Otherwise, fall back on the given Concretize strategy.

If the given u64 value is a possible value, then the value will be permanently constrained to be that value (on this path), and other possibilities will not be considered.

Tuple Fields of Prefer

0: u641: Box<Concretize>

Maximum

Choose the maximum possible value. Maximum will be interpreted in an unsigned fashion.

The value will be permanently constrained to be this value (on this path), and other possibilities will not be considered.

Minimum

Choose the minimum possible value. Minimum will be interpreted in an unsigned fashion.

The value will be permanently constrained to be this value (on this path), and other possibilities will not be considered.

Trait Implementations

impl Clone for Concretize

fn clone(&self) -> Concretize

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Concretize

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

Formats the value using the given formatter.

impl PartialEq<Concretize> for Concretize

fn eq(&self, other: &Concretize) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Concretize) -> bool

This method tests for !=.

impl Eq for Concretize

impl StructuralEq for Concretize

impl StructuralPartialEq for Concretize