test: add reconfigure benchmark

2023-09-01 14:57:42 -04:00 · 2023-09-01 14:57:42 -04:00 · 00efb7eaca
commit 00efb7eaca
parent 5b2e3e2b0a
1 changed files with 13 additions and 0 deletions
--- a/tests/bench/speedcenter.exec.velcom.yaml
+++ b/tests/bench/speedcenter.exec.velcom.yaml
@ -181,6 +181,19 @@
      ulimit -s unlimited
      lake -dinundation script run nop
      "
+- attributes:
+    description: lake reconfigure
+    tags: [fast]
+  run_config:
+    <<: *time
+    cmd: |
+      bash -c "
+      set -ex
+      ulimit -s unlimited
+      lake -dinundation -flakefile-rc.lean -R script run nop
+      "
+  build_config:
+    cmd: cp inundation/lakefile.lean inundation/lakefile-rc.lean
 - attributes:
    description: lake startup
    tags: [fast]