Struct tendermint_testgen::apalache::ApalacheTestCase
source · 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§
source§impl Clone for ApalacheTestCase
impl Clone for ApalacheTestCase
source§fn clone(&self) -> ApalacheTestCase
fn clone(&self) -> ApalacheTestCase
Returns a copy of the value. Read more
1.0.0 · 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 ApalacheTestCase
impl Debug for ApalacheTestCase
source§impl<'de> Deserialize<'de> for ApalacheTestCase
impl<'de> Deserialize<'de> for ApalacheTestCase
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
Auto Trait Implementations§
impl Freeze for ApalacheTestCase
impl RefUnwindSafe for ApalacheTestCase
impl Send for ApalacheTestCase
impl Sync for ApalacheTestCase
impl Unpin for ApalacheTestCase
impl UnwindSafe for ApalacheTestCase
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