Enum simplicity_sys::tests::TestUpTo

pub enum TestUpTo {
    DecodeProgram,
    DecodeWitness,
    TypeInference,
    FillWitnessData,
    ComputeAmr,
    ComputeImr,
    ComputeCostUnbounded,
    ComputeCostBounded,
    CheckCellCount,
    CheckBudget,
    CheckOneOne,
    Everything,
}

How far to run the test

If you stop the test early, the returned output will be incomplete.

Variants

DecodeProgram

Just decode the program, not the witnesses. Will compute and retrieve the root CMR.

DecodeWitness

Also decode witnesses into a bitstring

TypeInference

Also do type inference

FillWitnessData

Fill in the witness data, now that their types are known

ComputeAmr

Compute and retrieve the root AMR.

ComputeImr

Compute and retrieve the root IMR; check that all IMRs are unique

ComputeCostUnbounded

Compute and retrieve the expected cost without any bounds

ComputeCostBounded

Compute and retrieve the expected cost with strict bounds

CheckCellCount

Fail the analysis if insufficient cells are provided

CheckBudget

Fail the analysis if insufficient budget is provided

CheckOneOne

Check that the program is 1-1. This will exclude arbitrary expressions, so you may want to stop at ComputeImr to get the maximum merkle root coverage.

Everything

Evaluate the program and retrieve whether it succeded.

Trait Implementations

impl Clone for TestUpTo

fn clone(&self) -> TestUpTo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TestUpTo

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

Formats the value using the given formatter.

impl Ord for TestUpTo

fn cmp(&self, other: &TestUpTo) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq for TestUpTo

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

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

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

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

impl PartialOrd for TestUpTo

fn partial_cmp(&self, other: &TestUpTo) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

This method tests less than (for self and other) and is used by the < operator.

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

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

This method tests greater than (for self and other) and is used by the > operator.

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for TestUpTo

impl Eq for TestUpTo

impl StructuralPartialEq for TestUpTo