init_vec_u8

vest_lib::utils

Function init_vec_u8 

Source 
pub exec fn init_vec_u8(n: usize) -> res : Vec<u8> ⓘ
Expand description
ensures
res@.len() == n,

Helper function to initialize a vector of u8 with zeros.