f

UnitTestBot · Sep 18, 2024 · c7c6024 · c7c6024
1 parent d71c77e
commit c7c6024
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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 += [