Enum TestRequirement 

pub enum TestRequirement {
    ExecutionEnvironment(ExecutionEnvironment),
    Vendor(Vendor),
    OpenVmmHypervisor(OpenVmmHypervisor),
    HostCapability(fn() -> bool),
    Isolation(IsolationType),
    RequiresCapability {
        name: &'static str,
        vmm: VmmType,
    },
    And(Box<TestRequirement>, Box<TestRequirement>),
    Or(Box<TestRequirement>, Box<TestRequirement>),
    Not(Box<TestRequirement>),
    Any,
}

A single requirement for a test to run.

Variants

ExecutionEnvironment(ExecutionEnvironment)

Execution environment requirement.

Vendor(Vendor)

Vendor requirement.

OpenVmmHypervisor(OpenVmmHypervisor)

Hypervisor backend that OpenVMM must select on the host.

HostCapability(fn() -> bool)

A host capability probe evaluated only during runtime host filtering.

Combine this with a backend requirement using Self::and to avoid probing backends that are not available on the host.

The probe runs synchronously before test execution, including when listing tests for nextest. Artifact enumeration does not evaluate it. Callers should cache expensive probes and report probe errors from the test body rather than treating errors as unsupported capabilities.

Isolation(IsolationType)

Isolation requirement.

RequiresCapability

Requires a named capability advertised by the execution environment or detected by petri.

Capabilities are how a test says “I need a specific resource to be provisioned for me” without naming who provides it or how. The execution environment can advertise capabilities via the comma-separated PETRI_CAPABILITIES environment variable, and petri can add capabilities that it detects itself. A test requiring a capability that is not available is skipped, so such tests automatically self-exclude on any host that cannot satisfy them.

Fields

name: &'static str

Capability name.

vmm: VmmType

VMM used by the test, which may affect capability availability.

And(Box<TestRequirement>, Box<TestRequirement>)

Logical AND of two requirements.

Or(Box<TestRequirement>, Box<TestRequirement>)

Logical OR of two requirements.

Not(Box<TestRequirement>)

Logical NOT of a requirement.

Any

Requirement satisfied by any host context.

Implementations

impl TestRequirement

pub fn and(self, other: TestRequirement) -> TestRequirement

Combine this requirement with another requirement using logical AND.

pub fn or(self, other: TestRequirement) -> TestRequirement

Combine this requirement with another requirement using logical OR.

pub fn not(self) -> TestRequirement

Negate this requirement.

pub fn is_satisfied(&self, context: &HostContext) -> bool

Evaluate if this requirement is satisfied with the given host context