Enum bytecode::options::AutoTraceLevel
source · pub enum AutoTraceLevel {
Off,
VerifiedFunction,
AllFunctions,
}
Variants§
Implementations§
source§impl AutoTraceLevel
impl AutoTraceLevel
pub fn verified_functions(self) -> bool
pub fn functions(self) -> bool
pub fn invariants(self) -> bool
Trait Implementations§
source§impl Clone for AutoTraceLevel
impl Clone for AutoTraceLevel
source§fn clone(&self) -> AutoTraceLevel
fn clone(&self) -> AutoTraceLevel
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 AutoTraceLevel
impl Debug for AutoTraceLevel
source§impl<'de> Deserialize<'de> for AutoTraceLevel
impl<'de> Deserialize<'de> for AutoTraceLevel
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