Struct monster::engine::symbolic_execution::SymbolicExecutionOptions [−][src]
pub struct SymbolicExecutionOptions { pub memory_size: ByteSize, pub max_exection_depth: u64, pub optimistically_prune_search_space: bool, }
Fields
memory_size: ByteSize
max_exection_depth: u64
optimistically_prune_search_space: bool
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for SymbolicExecutionOptions
impl Send for SymbolicExecutionOptions
impl Sync for SymbolicExecutionOptions
impl Unpin for SymbolicExecutionOptions
impl UnwindSafe for SymbolicExecutionOptions
Blanket Implementations
Mutably borrows from an owned value. Read more
pub fn vzip(self) -> V