diff --git a/tests/bench/speedcenter.exec.yaml b/tests/bench/speedcenter.exec.yaml index 77cb1bc8a1..2aa450fb77 100644 --- 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]