No public description

PiperOrigin-RevId: 639907793

fuzztest/internal/domains/filter_impl.h

diff --git a/fuzztest/internal/domains/filter_impl.h b/fuzztest/internal/domains/filter_impl.h
index 33a88c8..fe94128 100644
--- a/fuzztest/internal/domains/filter_impl.h
+++ b/fuzztest/internal/domains/filter_impl.h
@@ -87,8 +87,9 @@
     bool res = predicate_(GetValue(v));
     if (!res) {
       ++num_skips_;
-      if (num_skips_ > 100 && num_skips_ > .9 * num_values_) {
-        AbortInTest(absl::StrFormat(R"(
+      FUZZTEST_INTERNAL_CHECK_PRECONDITION(
+          num_skips_ <= 100 || num_skips_ <= .9 * num_values_,
+          absl::StrFormat(R"(
 
 [!] Ineffective use of Filter() detected!
 
@@ -99,8 +100,7 @@
 chunk of the input domain, consider defining a custom domain by construction.
 See more details in the User Guide.
 )",
-                                    num_skips_, num_values_));
-      }
+                          num_skips_, num_values_));
     }
     return res;
   }