Struct VerificationConfig 

pub struct VerificationConfig {
    pub allow_unisolated: Option<bool>,
    pub test_policy: Option<TestPolicy>,
    pub external_oracle: Option<ExternalOracleConfig>,
    pub require_format: Option<bool>,
    pub stage_timeout_secs: Option<u64>,
    pub syntax_timeout_secs: Option<u64>,
    pub build_timeout_secs: Option<u64>,
    pub test_timeout_secs: Option<u64>,
    pub lint_timeout_secs: Option<u64>,
    pub format_timeout_secs: Option<u64>,
}

The [verification] acceptance-stage options.

Fields

allow_unisolated: Option<bool>

Permit verifier, inspection, and LSP processes to run without an OS sandbox when the current platform has no registered backend. This is an explicit reduced-isolation mode; false by default.

test_policy: Option<TestPolicy>

How project tests contribute to acceptance. evolving is the normal development policy: the resulting code, tests, and configuration are verified together. Stronger policies are explicit because historical tests are not universally valid after an intentional contract change.

external_oracle: Option<ExternalOracleConfig>

Protected acceptance material used only by external-oracle.

require_format: Option<bool>

Declare the plugin format verifier stage (e.g. cargo fmt --check) as an acceptance sensor. Off by default.

stage_timeout_secs: Option<u64>

Wall-clock limit for every governed verifier stage (default 180).

syntax_timeout_secs: Option<u64>

Per-stage overrides of stage_timeout_secs.

build_timeout_secs: Option<u64>

test_timeout_secs: Option<u64>

lint_timeout_secs: Option<u64>

format_timeout_secs: Option<u64>

Implementations

impl VerificationConfig

pub fn validate(&self) -> Result<()>

Trait Implementations

impl Clone for VerificationConfig

fn clone(&self) -> VerificationConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerificationConfig

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

Formats the value using the given formatter.

impl Default for VerificationConfig

fn default() -> VerificationConfig

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for VerificationConfig

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for VerificationConfig

fn eq(&self, other: &VerificationConfig) -> 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 Serialize for VerificationConfig

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for VerificationConfig