Struct monster::SmtGenerationOptions [−][src]
pub struct SmtGenerationOptions { pub smt_type: SmtType, pub memory_size: ByteSize, pub max_execution_depth: u64, }
Fields
smt_type: SmtType
memory_size: ByteSize
max_execution_depth: u64
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for SmtGenerationOptions
impl Send for SmtGenerationOptions
impl Sync for SmtGenerationOptions
impl Unpin for SmtGenerationOptions
impl UnwindSafe for SmtGenerationOptions