/// Calls implementation provided memcmp.
///
/// Interprets the data as u8.
///
/// Returns 0 for equal, < 0 for less than and > 0 for greater than.
Calls implementation provided memcmp.
Interprets the data as u8.

Returns 0 for equal, < 0 for less than and > 0 for greater than.
Calls implementation provided memcmp . Interprets the data as u8 . Returns 0 for equal < 0 for less than and > 0 for greater than .
fn handle_memcmp(&mut self) -> Rc<AbstractValue> {
        checked_assume!(self.actual_args.len() == 3);
        let left_val = self.actual_args[0].1.clone();
        let right_val = self.actual_args[1].1.clone();
        let len_val = self.actual_args[2].1.clone();
        AbstractValue::make_memcmp(left_val, right_val, len_val)
    }
fn handle_memcmp ( & mut self ) -> Rc < AbstractValue > { checked_assume ! ( self actual_args len ( ) 3 ) ; let left_val = self . actual_args [ 0 ] . 1 . clone ( ) ; let right_val = self . actual_args [ 1 ] . 1 . clone ( ) ; let len_val = self . actual_args [ 2 ] . 1 . clone ( ) ; AbstractValue :: make_memcmp ( left_val , right_val , len_val ) }
Calls implementation provided memcmp.
Calls implementation provided memcmp .
&mut self