chore: add grind tests as benchmarks (#9537)

2025-07-25 16:21:38 +02:00 · 2025-07-25 16:21:38 +02:00 · 81fe5243d3
commit 81fe5243d3
parent 3f19182afc
1 changed files with 18 additions and 0 deletions
--- a/tests/bench/speedcenter.exec.velcom.yaml
+++ b/tests/bench/speedcenter.exec.velcom.yaml
@ -568,3 +568,21 @@
    parse_output: true
  build_config:
    cmd: ./compile.sh phashmap.lean
+- attributes:
+    description: grind_bitvec2.lean
+    tags: [fast]
+  run_config:
+    <<: *time
+    cmd: lean ../lean/run/grind_bitvec2.lean
+- attributes:
+    description: grind_list2.lean
+    tags: [fast]
+  run_config:
+    <<: *time
+    cmd: lean ../lean/run/grind_list2.lean
+- attributes:
+    description: grind_ring_5.lean
+    tags: [fast]
+  run_config:
+    <<: *time
+    cmd: lean ../lean/run/grind_ring_5.lean