f

dim8art · dim8art · commit 8a3c23df76b9 · 2024-05-26T18:42:28.000+03:00
diff --git a/json b/json
@@ -0,0 +1 @@
+Subproject commit 6af826d0bdb55e4b69e3ad817576745335f243ca
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",

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+Subproject commit 6af826d0bdb55e4b69e3ad817576745335f243ca`
Original file line number	Diff line number	Diff line change
`@@ -66,7 +66,7 @@ def klee_options(`
`66`	`66`	`"--memory-backend=mixed",`
`67`	`67`	`"--max-fixed-size-structures-size=64",`
`68`	`68`	`]`
`69`		`- if run_forever:`
	`69`	`+ if True:`
`70`	`70`	`cmd += [`
`71`	`71`	`f"--seed-dir={test_output_dir}",`
`72`	`72`	`"--use-seeded-search",`