use malachite_base::num::basic::floats::PrimitiveFloat;
use malachite_base::num::exhaustive::finite_primitive_floats_increasing;
use malachite_base::test_util::num::exhaustive::*;
fn finite_primitive_floats_increasing_helper<T: PrimitiveFloat>(first_20: &[T], last_20: &[T]) {
exhaustive_primitive_floats_helper_helper_with_reverse(
finite_primitive_floats_increasing::<T>(),
first_20,
last_20,
);
}
#[test]
fn test_finite_primitive_floats_increasing() {
finite_primitive_floats_increasing_helper::<f32>(
&[
-3.4028235e38,
-3.4028233e38,
-3.402823e38,
-3.4028229e38,
-3.4028227e38,
-3.4028225e38,
-3.4028222e38,
-3.402822e38,
-3.4028218e38,
-3.4028216e38,
-3.4028214e38,
-3.4028212e38,
-3.402821e38,
-3.4028208e38,
-3.4028206e38,
-3.4028204e38,
-3.4028202e38,
-3.40282e38,
-3.4028198e38,
-3.4028196e38,
],
&[
3.4028196e38,
3.4028198e38,
3.40282e38,
3.4028202e38,
3.4028204e38,
3.4028206e38,
3.4028208e38,
3.402821e38,
3.4028212e38,
3.4028214e38,
3.4028216e38,
3.4028218e38,
3.402822e38,
3.4028222e38,
3.4028225e38,
3.4028227e38,
3.4028229e38,
3.402823e38,
3.4028233e38,
3.4028235e38,
],
);
finite_primitive_floats_increasing_helper::<f64>(
&[
-1.7976931348623157e308,
-1.7976931348623155e308,
-1.7976931348623153e308,
-1.7976931348623151e308,
-1.797693134862315e308,
-1.7976931348623147e308,
-1.7976931348623145e308,
-1.7976931348623143e308,
-1.7976931348623141e308,
-1.797693134862314e308,
-1.7976931348623137e308,
-1.7976931348623135e308,
-1.7976931348623133e308,
-1.7976931348623131e308,
-1.797693134862313e308,
-1.7976931348623127e308,
-1.7976931348623125e308,
-1.7976931348623123e308,
-1.7976931348623121e308,
-1.797693134862312e308,
],
&[
1.797693134862312e308,
1.7976931348623121e308,
1.7976931348623123e308,
1.7976931348623125e308,
1.7976931348623127e308,
1.797693134862313e308,
1.7976931348623131e308,
1.7976931348623133e308,
1.7976931348623135e308,
1.7976931348623137e308,
1.797693134862314e308,
1.7976931348623141e308,
1.7976931348623143e308,
1.7976931348623145e308,
1.7976931348623147e308,
1.797693134862315e308,
1.7976931348623151e308,
1.7976931348623153e308,
1.7976931348623155e308,
1.7976931348623157e308,
],
);
}