f

UnitTestBot · May 26, 2024 · 8a3c23d · 8a3c23d
1 parent 23e4d8f
commit 8a3c23d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/json b/json
diff --git a/scripts/kleef b/scripts/kleef
@@ -66,7 +66,7 @@ def klee_options(
         "--memory-backend=mixed",
         "--max-fixed-size-structures-size=64",
     ]
-    if run_forever:
+    if True:
         cmd += [
             f"--seed-dir={test_output_dir}",
             "--use-seeded-search",