diff options
-rw-r--r-- | bench/bench.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bench/bench.sh b/bench/bench.sh index e0943d4..1294fd1 100644 --- a/bench/bench.sh +++ b/bench/bench.sh @@ -421,7 +421,7 @@ bench-strategies-corpus() { for bfs in "${BFS[@]}"; do subsubgroup '%s' "$bfs" - cmds=("$bfs -S "{bfs,dfs,ids,eds}" $2") + cmds=("$bfs -S "{bfs,dfs,ids,eds}" $2 -false") do-hyperfine "${cmds[@]}" done } |