pub enum TestPolicy {
Evolving,
BackwardCompatible,
ExternalOracle,
}Expand description
Test-evidence policy at a coding gate.
Variants§
Evolving
Verify the resulting implementation, tests, and project configuration. Tests are ordinary mutable project artifacts.
BackwardCompatible
In addition to the resulting suite, run recognized pre-existing test files against the candidate implementation. Intended only for tasks that promise backward compatibility.
ExternalOracle
In addition to the resulting suite, overlay separately supplied, protected acceptance material and run its configured command.
Implementations§
Trait Implementations§
Source§impl Clone for TestPolicy
impl Clone for TestPolicy
impl Copy for TestPolicy
Source§impl Debug for TestPolicy
impl Debug for TestPolicy
Source§impl Default for TestPolicy
impl Default for TestPolicy
Source§impl<'de> Deserialize<'de> for TestPolicy
impl<'de> Deserialize<'de> for TestPolicy
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
impl Eq for TestPolicy
Source§impl PartialEq for TestPolicy
impl PartialEq for TestPolicy
Source§impl Serialize for TestPolicy
impl Serialize for TestPolicy
impl StructuralPartialEq for TestPolicy
Auto Trait Implementations§
impl Freeze for TestPolicy
impl RefUnwindSafe for TestPolicy
impl Send for TestPolicy
impl Sync for TestPolicy
impl Unpin for TestPolicy
impl UnsafeUnpin for TestPolicy
impl UnwindSafe for TestPolicy
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<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> Scalar for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§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 moreSource§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).Source§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.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.