From 9b7ee7b51370c2a5f2306f67a4a18e5b6cbbdae0 Mon Sep 17 00:00:00 2001 From: Tae Gyun Kim Date: Wed, 29 May 2024 16:40:59 -0400 Subject: [PATCH] reduce range for miri --- profiling/src/internal/profile.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/profiling/src/internal/profile.rs b/profiling/src/internal/profile.rs index b8f98a6e9..4639dafba 100644 --- a/profiling/src/internal/profile.rs +++ b/profiling/src/internal/profile.rs @@ -769,7 +769,7 @@ mod api_tests { #[test] fn fuzz_add_sample_with_fixed_sample_length() { - let sample_length_gen = 1..=64usize; + let sample_length_gen = if cfg!(miri) { 1..=8usize } else { 1..=64usize }; bolero::check!() .with_generator(sample_length_gen) @@ -894,7 +894,7 @@ mod api_tests { #[test] fn fuzz_api_function_calls() { - let sample_length_gen = 1..=64usize; + let sample_length_gen = if cfg!(miri) { 1..=8usize } else { 1..=64usize }; bolero::check!() .with_generator(sample_length_gen)