Struct tendermint_testgen::apalache::ApalacheTestCase [−][src]
pub struct ApalacheTestCase { pub model: String, pub test: String, pub length: Option<u64>, pub timeout: Option<u64>, }
Fields
model: String
test: String
length: Option<u64>
timeout: Option<u64>
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 ApalacheTestCase
impl Send for ApalacheTestCase
impl Sync for ApalacheTestCase
impl Unpin for ApalacheTestCase
impl UnwindSafe for ApalacheTestCase
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