Struct VerifyPlan 

pub struct VerifyPlan {
    pub requires: Option<String>,
    pub cases: Vec<VerifyCase>,
}

The parsed verification plan for one workload file.

Fields

requires: Option<String>

Some(reason) ⇒ skip this file (e.g. needs external infra).

cases: Vec<VerifyCase>

Implementations

impl VerifyPlan

pub fn parse(src: &str) -> Result<VerifyPlan, String>

Parse both rule surfaces from a workload file’s text and combine them.

pub fn is_empty(&self) -> bool

True when the file declares no verification rules at all.