From 2e47a8d5cafa66f243c424aa72b773fea2d9df71 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 3 Dec 2021 09:25:53 +0100
Subject: [PATCH] test: actually register new benchmark

---
 tests/bench/speedcenter.exec.velcom.yaml | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/tests/bench/speedcenter.exec.velcom.yaml b/tests/bench/speedcenter.exec.velcom.yaml
index 2b8df62b68..509a42fd4c 100644
--- a/tests/bench/speedcenter.exec.velcom.yaml
+++ b/tests/bench/speedcenter.exec.velcom.yaml
@@ -80,6 +80,14 @@
     cmd: ./binarytrees.lean.out 21
   build_config:
     cmd: ./compile.sh binarytrees.lean
+- attributes:
+    description: const_fold
+    tags: [fast, suite]
+  run_config:
+    <<: *time
+    cmd: bash -c "ulimit -s unlimited && ./const_fold.lean.out 23"
+  build_config:
+    cmd: ./compile.sh const_fold.lean
 - attributes:
     description: deriv
     tags: [fast, suite]
@@ -89,13 +97,13 @@
   build_config:
     cmd: ./compile.sh deriv.lean
 - attributes:
-    description: const_fold
+    description: liasolver
     tags: [fast, suite]
   run_config:
     <<: *time
-    cmd: bash -c "ulimit -s unlimited && ./const_fold.lean.out 23"
+    cmd: ./liasolver.lean.out ex-50-50-1.leq
   build_config:
-    cmd: ./compile.sh const_fold.lean
+    cmd: ./compile.sh liasolver.lean
 - attributes:
     description: qsort
     tags: [fast, suite]