From fa3a4102ef0ae06d8930d7a7b567759e2a5b5fde Mon Sep 17 00:00:00 2001
From: MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz>
Date: Mon, 5 Feb 2024 16:25:57 +0100
Subject: [PATCH] fuzz: Set -rss_limit_mb=8000 for generate as well

This is set by merge, so set it here as well, to avoid OOM.
---
 test/fuzz/test_runner.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/fuzz/test_runner.py b/test/fuzz/test_runner.py
index f4815a5f74..ff3b6e6b6d 100755
--- a/test/fuzz/test_runner.py
+++ b/test/fuzz/test_runner.py
@@ -268,6 +268,7 @@ def generate_corpus(*, fuzz_pool, src_dir, build_dir, corpus_dir, targets):
         use_value_profile = int(random.random() < .3)
         command = [
             os.path.join(build_dir, 'src', 'test', 'fuzz', 'fuzz'),
+            "-rss_limit_mb=8000",
             "-max_total_time=6000",
             "-reload=0",
             f"-use_value_profile={use_value_profile}",