pub(crate) fn apply_random_float_error_ulp<F: Float>(
ecx: &mut MiriInterpCx<'_>,
val: F,
max_error: u32,
) -> F
Expand description
Applies an error of [-N, +N]
ULP to the given value.
pub(crate) fn apply_random_float_error_ulp<F: Float>(
ecx: &mut MiriInterpCx<'_>,
val: F,
max_error: u32,
) -> F
Applies an error of [-N, +N]
ULP to the given value.