Function isla_axiomatic::litmus::exp::eval[−][src]

pub fn eval<B: BV>(
    exp: &Exp, 
    memory: &Memory<B>, 
    solver: &mut Solver<'_, B>
) -> Result<Val<B>, ExecError>