Skip to content

Commit 9da90e2

Browse files
committed
[chore] Update kleef script
1 parent 83e43d5 commit 9da90e2

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

scripts/kleef

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,6 @@ def klee_options(
2929
"--strip-unwanted-calls", # removes llvm.dbg.* instructions, exponentially reduces time on some benchmarks
3030
"--delete-dead-loops=false", # without this optimizer removes some code, which decreases coverage
3131
"--emit-all-errors", # without this we generate only one test for assertion failures, which decreases coverage
32-
"--external-calls=all",
3332
"--mock-all-externals", # this helps for some linux benchmarks, which have unused extern globals. without this flag we will not even start on them.
3433
"--external-calls=all",
3534
"--use-forked-solver=false",
@@ -80,6 +79,7 @@ def klee_options(
8079
"--dump-states-on-halt=false", # Explicitly do not dump states
8180
"--exit-on-error-type=Assert", # Only generate test cases of type assert
8281
# "--dump-test-case-type=Assert", # Only dump test cases of type assert
82+
"--search=bls",
8383
"--search=dfs",
8484
# "--search=nurs:covnew", "--search=random-path","--search=dfs", "--use-batching-search",
8585
# "--search=distance","--search=random-path","--use-batching-search",

0 commit comments

Comments
 (0)