vector_update

isla_lib::primop

Function vector_update 

Source 
pub fn vector_update<B: BV>(
    args: Vec<Val<B>>,
    solver: &mut Solver<'_, B>,
    _: &mut LocalFrame<'_, B>,
) -> Result<Val<B>, ExecError>
Expand description

vector_update is a special case of set_slice where the update is a bitvector of length 1. It can also update ordinary (non bit-) vectors.