oxilean_codegen/opt_alias/aliasconfigext_traits.rs
1//! # AliasConfigExt - Trait Implementations
2//!
3//! This module contains trait implementations for `AliasConfigExt`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Default`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::AliasConfigExt;
12
13impl Default for AliasConfigExt {
14 fn default() -> Self {
15 Self {
16 level: "andersen".to_string(),
17 max_iterations: 100,
18 max_points_to_size: 1000,
19 enable_field_sensitivity: false,
20 enable_flow_sensitivity: false,
21 enable_context_sensitivity: false,
22 track_heap: true,
23 track_globals: true,
24 }
25 }
26}