Enum Phase 

pub enum Phase {
    Explicit,
    Reuse,
    Generate,
    Target,
    Shrink,
}

Controls which phases of the test lifecycle are executed.

By default, all phases run. Use Settings::phases to restrict which phases execute — for example, passing only [Phase::Generate] disables shrinking, which is useful when you only need to find a counterexample quickly and don’t need the minimal one.

Corresponds to a subset of hypothesis.Phase (the explain phase is not yet supported in hegel-rust).

Variants

Explicit

Run explicit test cases added via #[hegel::explicit_test_case].

Reuse

Replay examples from the failure database.

Generate

Generate new random examples.

Target

Use targeting to guide generation toward interesting areas.

Shrink

Shrink failing examples to a minimal counterexample.

Trait Implementations

impl Clone for Phase

fn clone(&self) -> Phase

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Phase

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

Formats the value using the given formatter.

impl Hash for Phase

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Phase

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Phase

impl Eq for Phase

impl StructuralPartialEq for Phase