From a18a16916007b815de5ed620372c6413654f3323 Mon Sep 17 00:00:00 2001
From: Daniel Lowengrub <lowengrub@google.com>
Date: Mon, 17 Aug 2026 11:55:18 -0700
Subject: [PATCH] Add Min Option For Dumping Input Seeds

PiperOrigin-RevId: 966099692
---
 centipede/runner.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/centipede/runner.cc b/centipede/runner.cc
index 40e4f39bf..a707fac14 100644
--- a/centipede/runner.cc
+++ b/centipede/runner.cc
@@ -571,7 +571,8 @@ static void DumpSeedsToDir(RunnerCallbacks& callbacks, const char* output_dir) {
     ++seed_index;
   };
   callbacks.GetPresetSeedInputs(dump_seed_callback);
-  while (seed_index < 32) {
+  const size_t min_seeds = state->flag_helper.HasIntFlag(":min_seeds=", 32);
+  while (seed_index < min_seeds) {
     dump_seed_callback(callbacks.GetRandomSeedInput());
   }
 }