chore: add parser benchmark to speedcenter suite

2019-11-11 10:28:59 +01:00 · 2019-11-11 10:28:59 +01:00 · f2bc0b1c84
commit f2bc0b1c84
parent 5a29922b6f
1 changed files with 8 additions and 0 deletions
--- a/tests/bench/speedcenter.exec.yaml
+++ b/tests/bench/speedcenter.exec.yaml
@ -57,6 +57,14 @@
    cmd: bash -c "ulimit -s unlimited && ./const_fold.lean.out 23"
  build_config:
    cmd: ./compile.sh const_fold.lean
+- attributes:
+    description: new parser Core.lean
+    tags: [fast, suite]
+  run_config:
+    <<: *time
+    cmd: ./parser.lean.out ../../library/Init/Core.lean 100
+  build_config:
+    cmd: ./compile.sh parser.lean
 - attributes:
    description: qsort
    tags: [fast, suite]