apply_random_float_error_to_imm

miri::math

Function apply_random_float_error_to_imm 

Source 
pub(crate) fn apply_random_float_error_to_imm<'tcx>(
    ecx: &mut MiriInterpCx<'tcx>,
    val: ImmTy<'tcx>,
    max_error: u32,
) -> InterpResult<'tcx, ImmTy<'tcx>>
Expand description

Applies an error of [-N, +N] ULP to the given value. Will fail if val is not a floating point number.