pub fn make_symbolic_buffer(
        &mut self,
        name: &str,
        length: usize,
    ) -> Result<(u64, Vec<il::Expression>)> {
        let buffer_address = self.symbolic_memory_address;
        let mut expressions = Vec::new();

        for i in 0..length {
            let address = self.next_symbolic_memory_address();
            let name = format!("{}_{}", name, i);
            let expr = il::expr_scalar(name, 8);
            expressions.push(expr.clone());
            self.memory.store(address, &expr)?;
        }

        Ok((buffer_address, expressions))
    }
/// Create a symbolic memory buffer in this `State`.
///
/// Returns the address of the symbolic buffer
Create a symbolic memory buffer in this `State`.
Returns the address of the symbolic buffer
Create a symbolic memory buffer in this ` State ` . Returns the address of the symbolic buffer
pub fn make_symbolic_buffer(
        &mut self,
        name: &str,
        length: usize,
    ) -> Result<(u64, Vec<il::Expression>)> {
        let buffer_address = self.symbolic_memory_address;
        let mut expressions = Vec::new();
        for i in 0..length {
            let address = self.next_symbolic_memory_address();
            let name = format!("{}_{}", name, i);
            let expr = il::expr_scalar(name, 8);
            expressions.push(expr.clone());
            self.memory.store(address, &expr)?;
        }
        Ok((buffer_address, expressions))
    }
pub fn make_symbolic_buffer ( & mut self , name : & str , length : usize , ) -> Result < ( u64 , Vec < il :: Expression > ) > { let buffer_address = self . symbolic_memory_address ; let mut expressions = Vec :: new ( ) ; for i in 0 .. length { let address = self . next_symbolic_memory_address ( ) ; let name = format ! ( " " name i ) ; let expr = il :: expr_scalar ( name , 8 ) ; expressions . push ( expr . clone ( ) ) ; self . memory . store ( address , & expr ) ? ; } Ok ( ( buffer_address , expressions ) ) }
Create a symbolic memory buffer in this `State`.
Create a symbolic memory buffer in this ` State ` .
&mut self
name
&str
length
usize