From f1db7e804189645fa2c1cf1c3fbcaee605608fc1 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Fri, 16 Aug 2019 19:10:29 +0200 Subject: [PATCH] chore(tests/bench/speedcenter.exec.yaml): add "rbmap_10" benchmark --- tests/bench/speedcenter.exec.yaml | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/tests/bench/speedcenter.exec.yaml b/tests/bench/speedcenter.exec.yaml index dfc294f822..2d2a7372ed 100644 --- a/tests/bench/speedcenter.exec.yaml +++ b/tests/bench/speedcenter.exec.yaml @@ -81,6 +81,14 @@ cmd: ./rbmap_checkpoint.lean.out 2000000 1 build_config: cmd: ./compile.sh rbmap_checkpoint.lean +- attributes: + description: rbmap_10 + tags: [fast, suite] + run_config: + <<: *time + cmd: ./rbmap_checkpoint.lean.out 2000000 10 + build_config: + cmd: ./compile.sh rbmap_checkpoint.lean - attributes: description: unionfind tags: [fast, suite]