f

dim8art · dim8art · commit c7c6024f9b83 · 2024-09-18T20:35:17.000+03:00
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 += [

Original file line number	Diff line number	Diff line change
`@@ -73,6 +73,7 @@ def klee_options(`
`73`	`73`	`"--explore-completed-seeds=false",`
`74`	`74`	`"--store-seeds-locally",`
`75`	`75`	`"--run-forever"`
	`76`	`+ "--upload-percentage=50"`
`76`	`77`	`]`
`77`	`78`	`if is32:`
`78`	`79`	`cmd += [`