From c7c6024f9b83413b8a9d5ca4d4cc5ea3ba1f14a9 Mon Sep 17 00:00:00 2001
From: dim8art <dim8art@yandex.ru>
Date: Wed, 18 Sep 2024 20:35:17 +0300
Subject: [PATCH] f

---
 scripts/kleef | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/kleef b/scripts/kleef
index fc669da698..e55f46bc76 100755
--- a/scripts/kleef
+++ b/scripts/kleef
@@ -73,6 +73,7 @@ def klee_options(
             "--explore-completed-seeds=false",
             "--store-seeds-locally",
             "--run-forever"
+            "--upload-percentage=50"
         ]
     if is32:
         cmd += [