pub struct SafetyAnalysisConfig {
pub detailed_risk_assessment: bool,
pub enable_passport_tracking: bool,
pub min_risk_level: RiskLevel,
pub max_reports: usize,
pub enable_dynamic_violations: bool,
pub strict_mutex_handling: bool,
pub max_mutex_poison_retries: usize,
}Fields§
§detailed_risk_assessment: bool§enable_passport_tracking: bool§min_risk_level: RiskLevel§max_reports: usize§enable_dynamic_violations: bool§strict_mutex_handling: bool§max_mutex_poison_retries: usizeTrait Implementations§
Source§impl Clone for SafetyAnalysisConfig
impl Clone for SafetyAnalysisConfig
Source§fn clone(&self) -> SafetyAnalysisConfig
fn clone(&self) -> SafetyAnalysisConfig
Returns a duplicate 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 SafetyAnalysisConfig
impl Debug for SafetyAnalysisConfig
Auto Trait Implementations§
impl Freeze for SafetyAnalysisConfig
impl RefUnwindSafe for SafetyAnalysisConfig
impl Send for SafetyAnalysisConfig
impl Sync for SafetyAnalysisConfig
impl Unpin for SafetyAnalysisConfig
impl UnsafeUnpin for SafetyAnalysisConfig
impl UnwindSafe for SafetyAnalysisConfig
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more