Internal change

PiperOrigin-RevId: 540561845

fuzztest/internal/coverage.cc

diff --git a/fuzztest/internal/coverage.cc b/fuzztest/internal/coverage.cc
index 8695630..92c91a1 100644
--- a/fuzztest/internal/coverage.cc
+++ b/fuzztest/internal/coverage.cc
@@ -350,10 +350,10 @@
              absl::Span<uint8_t>(start, map_size)) {
     // Nothing to do.
   } else {
-    FUZZTEST_INTERNAL_CHECK_PRECONDITION(
-        false,
-        "__sanitizer_cov_8bit_counters_init was called multiple times with "
-        "different arguments. Currently, we support only a single DSO.");
+    fprintf(fuzztest::internal::GetStderr(),
+            "Warning: __sanitizer_cov_8bit_counters_init was called multiple "
+            "times with different arguments. Currently, we only support "
+            "recording coverage metrics for the first DSO encountered.\n");
   }
 }