chore(tests/bench/speedcenter.exec.yaml): fix deriv speedcenter benchmark

2019-09-03 21:43:50 +02:00 · 2019-09-03 21:43:50 +02:00 · 2110da4784
commit 2110da4784
parent 7b7f1d2cac
1 changed files with 2 additions and 2 deletions
--- a/tests/bench/speedcenter.exec.yaml
+++ b/tests/bench/speedcenter.exec.yaml
@ -46,9 +46,9 @@
    tags: [fast, suite]
  run_config:
    <<: *time
-    cmd: ./deriv.lean.out
+    cmd: ./deriv.lean.out 10
  build_config:
-    cmd: ./compile.sh deriv.lean 10
+    cmd: ./compile.sh deriv.lean
 - attributes:
    description: const_fold
    tags: [fast, suite]