pub fn emit_let_havoc(&mut self, ty: Type) -> (TempIndex, Exp) {
        let havoc_kind = if ty.is_mutable_reference() {
            HavocKind::MutationAll
        } else {
            HavocKind::Value
        };
        let temp = self.new_temp(ty);
        let temp_exp = self.mk_temporary(temp);
        self.emit_with(|id| {
            Bytecode::Call(id, vec![], Operation::Havoc(havoc_kind), vec![temp], None)
        });
        (temp, temp_exp)
    }
/// Emits a new temporary with a havoced value of given type.
Emits a new temporary with a havoced value of given type.
Emits a new temporary with a havoced value of given type .
pub fn emit_let_havoc(&mut self, ty: Type) -> (TempIndex, Exp) {
        let havoc_kind = if ty.is_mutable_reference() {
            HavocKind::MutationAll
        } else {
            HavocKind::Value
        };
        let temp = self.new_temp(ty);
        let temp_exp = self.mk_temporary(temp);
        self.emit_with(|id| {
            Bytecode::Call(id, vec![], Operation::Havoc(havoc_kind), vec![temp], None)
        });
        (temp, temp_exp)
    }
pub fn emit_let_havoc ( & mut self , ty : Type ) -> ( TempIndex , Exp ) { let havoc_kind = if ty . is_mutable_reference ( ) { HavocKind :: MutationAll } else { HavocKind :: Value } ; let temp = self . new_temp ( ty ) ; let temp_exp = self . mk_temporary ( temp ) ; self . emit_with ( | id | { Bytecode :: Call ( id , vec ! [ ] , Operation :: Havoc ( havoc_kind ) , vec ! [ temp ] , None ) } ) ; ( temp , temp_exp ) }
Emits a new temporary with a havoced value of given type.
Emits a new temporary with a havoced value of given type .
&mut self
ty
Type