pub fn new(memory: Memory, platform: Box<dyn Platform>) -> State {
        State {
            scalars: HashMap::new(),
            path_constraints: Vec::new(),
            merged_constraints: Vec::new(),
            memory,
            platform,
            symbolic_strings: HashMap::new(),
            symbolic_memory_address: DEFAULT_SYMBOLIC_MEMORY_ADDRESS,
            next_expression_complexity_variable: 0,
        }
    }
/// Create a new `State` from the given memory model.
Create a new `State` from the given memory model.
Create a new ` State ` from the given memory model .
pub fn new(memory: Memory, platform: Box<dyn Platform>) -> State {
        State {
            scalars: HashMap::new(),
            path_constraints: Vec::new(),
            merged_constraints: Vec::new(),
            memory,
            platform,
            symbolic_strings: HashMap::new(),
            symbolic_memory_address: DEFAULT_SYMBOLIC_MEMORY_ADDRESS,
            next_expression_complexity_variable: 0,
        }
    }
pub fn new ( memory : Memory , platform : Box < dyn Platform > ) -> State { State { scalars : HashMap :: new ( ) , path_constraints : Vec :: new ( ) , merged_constraints : Vec :: new ( ) , memory , platform , symbolic_strings : HashMap :: new ( ) , symbolic_memory_address : DEFAULT_SYMBOLIC_MEMORY_ADDRESS , next_expression_complexity_variable : 0 , } }
Create a new `State` from the given memory model.
Create a new ` State ` from the given memory model .
memory
Memory
platform
Box<dyn Platform>