Function clone_vec_u8

src/tcb/misc.rs:168–170

(vec: &Vec<u8>)

#[trusted]
#[ensures(result.len() == old(vec.len()))]
pub fn clone_vec_u8(vec: &Vec<u8>) -> Vec<u8> {
    vec.clone()
}

// TODO: should probably fail more elegantly than this
#[trusted]