pub struct ExternalOracleConfig {
pub path: PathBuf,
pub command: String,
}Expand description
Protected files and command for TestPolicy::ExternalOracle.
Fields§
§path: PathBufDirectory overlaid onto a private copy of the candidate only at the acceptance boundary. It may contain tests, manifests, or harness code.
command: StringCommand executed from the root of that private verification copy.
Trait Implementations§
Source§impl Clone for ExternalOracleConfig
impl Clone for ExternalOracleConfig
Source§fn clone(&self) -> ExternalOracleConfig
fn clone(&self) -> ExternalOracleConfig
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for ExternalOracleConfig
impl Debug for ExternalOracleConfig
Source§impl<'de> Deserialize<'de> for ExternalOracleConfig
impl<'de> Deserialize<'de> for ExternalOracleConfig
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl PartialEq for ExternalOracleConfig
impl PartialEq for ExternalOracleConfig
Source§fn eq(&self, other: &ExternalOracleConfig) -> bool
fn eq(&self, other: &ExternalOracleConfig) -> bool
Tests for
self and other values to be equal, and is used by ==.Source§impl Serialize for ExternalOracleConfig
impl Serialize for ExternalOracleConfig
impl Eq for ExternalOracleConfig
impl StructuralPartialEq for ExternalOracleConfig
Auto Trait Implementations§
impl Freeze for ExternalOracleConfig
impl RefUnwindSafe for ExternalOracleConfig
impl Send for ExternalOracleConfig
impl Sync for ExternalOracleConfig
impl Unpin for ExternalOracleConfig
impl UnsafeUnpin for ExternalOracleConfig
impl UnwindSafe for ExternalOracleConfig
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.