Struct tendermint_testgen::apalache::ApalacheTestBatch [−][src]
pub struct ApalacheTestBatch { pub description: String, pub model: String, pub length: Option<u64>, pub timeout: Option<u64>, pub tests: Vec<String>, }
Fields
description: String
model: String
length: Option<u64>
timeout: Option<u64>
tests: Vec<String>
Trait Implementations
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
Auto Trait Implementations
impl RefUnwindSafe for ApalacheTestBatch
impl Send for ApalacheTestBatch
impl Sync for ApalacheTestBatch
impl Unpin for ApalacheTestBatch
impl UnwindSafe for ApalacheTestBatch
Blanket Implementations
Mutably borrows from an owned value. Read more
type Output = T
type Output = T
Should always be Self
pub fn vzip(self) -> V